Cristiane Aparecida Lana, Milena Guessi, Pablo Oliveira Antonino, Hans Dieter Rombach, Elisa Yumi Nakagawa. A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling. IEEE Systems Journal, 13(3):2201-2212, 2019. [doi]
Abstract is missing.