@inproceedings{BehaviouralSpecifications,
  author = "A. Cavarra and J. Welch",
  booktitle = "Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007)",
  doi = "10.1007/978-3-540-73210-5_7",
  pages = "118-137",
  publisher = "Springer Berlin / Heidelberg",
  series = "LNCS",
  title = "Behavioural Specifications from Class Models",
  year = "2007",
}