Figueiredo, A., 		Machado, P., 		Cartaxo, E., 		Figueiredo, J., & 		Barbosa, P.
(2008).
 Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos.
In <em>Proceedings of the 9th Workshop on Testing and Fault Tolerance</em>, (pp. 17-30). Porto Alegre: SBC.
doi:10.5753/wtf.2008.23143