Software Engineering Techniques for the Development of Systems of Systems - Calinescu, R; Kwiatkowska, M (2008)