Candolo, M., 		Simão, A., & 		Maldonado, J.
2001 out  3.  MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :