Candolo, M., 		Simão, A., & 		Maldonado, J.
(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>, (pp. 386-391). Porto Alegre: SBC.
doi:10.5753/sbes.2001.24007