A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling.
Cristiane Aparecida LanaMilena GuessiPablo Oliveira AntoninoHans Dieter RombachElisa Yumi NakagawaPublished in: IEEE Syst. J. (2019)