Fraga Filho, Clayton, 		Braga, José Luis, 		Oliveira, Alcione, E 		Iorio, Vladimir.
" Simulação de Modelos de Processo de Software com Máquinas de Estado Abstratas" <em>Anais do Simpósio Brasileiro de Qualidade de Software (SBQS)</em> [Online], (1 junho 2009)