Gezgin, Tayfun, Christoph Etzien, Stefan Henkler, and Achim Rettberg. Towards a Rigorous Modeling Formalism for Systems of Systems In 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops., 2012.