Candolo, Marco, 		Simão, Adenilso, AND 		Maldonado, José.
" MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (3 October 2001)