@article{article7b6033c5,
title   = {A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling},
author = {Lana, Cristiane Aparecida and Guessi, Milena and Antonino, Pablo Oliveira and Rombach, Dieter and Nakagawa, Elisa Yumi},
year = {2019},
doi = {10.1109/JSYST.2018.2874061},
journal   = {IEEE Systems Journal}
}