@inproceedings{CK10,
  author = {Radu Calinescu and Marta Kwiatkowska},
  title = {Software Engineering Techniques for the Development of Systems of Systems},
  editor = {Christine Choppy and Oleg Sokolsky},
  booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development. Proceedings of the 15th Monterey Workshop},
  pages = {59--82},
  series = {LNCS},
  volume = {6028}, 
  publisher = {Springer},
  year = {2010},
  url = {http://www.springerlink.com/content/6334127431456134/},
  doi = {10.1007/978-3-642-12566-9_4}
}