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.