Fraga Filho, Clayton, José Luis Braga, Alcione de Paiva Oliveira, and Vladimir Oliveira Di Iorio.
" Simulation of Software Process Models with Abstract State Machines." <em>Proceedings of the 8th Brazilian Symposium on Software Quality,
Ouro Preto, 2009</em>. SBC, 2009,  
pp.226-240.