TY - RPRT TI - A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling AU - Cristiane Aparecida Lana AU - Milena Guessi AU - Pablo Oliveira Antonino AU - Dieter Rombach AU - Elisa Yumi NakagawaA PY - 2020 DO - 10.1109/jsyst.2018.2874061 UR - https://arxiv.org/abs/2007.07031 ID - 2007.07031 ER -