Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou. A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees. In 13th Annual Conference on System of Systems Engineering, SoSE 2018, Paris, France, June 19-22, 2018. pages 14-21, IEEE, 2018. [doi]
Abstract is missing.