@inproceedings{CK08,
  author      = "R. Calinescu and M. Kwiatkowska",
  title       = "Software Engineering Techniques for the Development of Systems of Systems",
  booktitle   = "Proc. 15th Monterey Workshop on Foundations of Computer Software",
  pages       = "86--93",
  year        = "2008",
}