M. Candolo, A. Simão, and J. Maldonado.
" MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito", in <em>Anais do XV Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 2001, pp. 386-391, doi: <a href="https://doi.org/10.5753/sbes.2001.24007">https://doi.org/10.5753/sbes.2001.24007</a>.