A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling - Lana, Cristiane Aparecida; Guessi, Milena; Antonino, Pablo Oliveira; Rombach, Dieter; Nakagawa, Elisa Yumi (IEEE Systems Journal, 2019)