Towards a Rigorous Modeling Formalism for Systems of Systems Publication Type: Conference Proceedings Authors: Tayfun Gezgin; Christoph Etzien; Stefan Henkler; Achim Rettberg Source: 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, p.204-211 (2012)