E. Barros dos Santos, R. Maria de Castro Andrade, and I. de Sousa Santos. "Em Direção ao Teste em Tempo de Execução de Sistemas Dinamicamente Adaptativos baseado em Propriedades Comportamentais", in Anais Estendidos do XV Simpósio Brasileiro de Sistemas de Informação, Aracaju, 2019, pp. 49-52, doi: https://doi.org/10.5753/sbsi.2019.7439.