Marco Candolo, Adenilso Simão, and José Maldonado. 2001.
 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>, outubro 03, 2001, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 386-391. DOI: <a href="https://doi.org/10.5753/sbes.2001.24007">https://doi.org/10.5753/sbes.2001.24007</a>.