Fraga Filho, C., 		Braga, J., 		Oliveira, A., & 		Iorio, V.
(2009).
 Simulation of Software Process Models with Abstract State Machines.
In <em>Proceedings of the 8th Brazilian Symposium on Software Quality</em>, (pp. 226-240). Porto Alegre: SBC.
doi:10.5753/sbqs.2009.15515