@inproceedings{Calinescu-Kwiatkowska-2008a,
  title = "Software Engineering Techniques for the Development of Systems of Systems",
  author = "Radu Calinescu and Marta Kwiatkowska",
  year = "2008",
  booktitle = "Proceedings of the 15th Monterey Workshop on the Foundations of Computer Software, Future Trends and Techniques for Development",
  month = "September",
  note = "Invited paper.",
  pages = "86-93",
}