@misc{indiciae96b5ea8e8d31,
  title = {A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling},
  author = {Cristiane Aparecida Lana and Milena Guessi and Pablo Oliveira Antonino and Dieter Rombach and Elisa Yumi NakagawaA},
  year = {2020},
  doi = {10.1109/jsyst.2018.2874061},
  url = {https://arxiv.org/abs/2007.07031},
  note = {Source identifier: 2007.07031}
}