Automated Derivation of Test Requirements for Systems of Systems. - Jhonatan Azevedo Gonçalves; Francesca Lonetti; Vânia de Oliveira Neves (SoSE, 2023)