A. Weller, E. Martins, and F. Mattiello-Francisco. "Geração de Testes de Interoperabilidade e Robustez para uma Aplicação Espacial", in Anais do XXI Workshop de Testes e Tolerância a Falhas, Rio de Janeiro, 2020, pp. 41-54, doi: https://doi.org/10.5753/wtf.2020.12486.