Fraga Filho, Clayton, José Luis Braga, Alcione de Paiva Oliveira, and Vladimir Oliveira Di Iorio.
" Simulação de Modelos de Processo de Software com Máquinas de Estado Abstratas." <em>Anais do VIII Simpósio Brasileiro de Qualidade de Software,
Ouro Preto, 2009</em>. SBC, 2009,  
pp.226-240.