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>Anais do IX Workshop de Testes e Tolerância a Falhas</em>, (pp. 17-30). Porto Alegre: SBC.
doi:10.5753/wtf.2008.23143