Figueiredo, A., 		Machado, P., 		Cartaxo, E., 		Figueiredo, J., & 		Barbosa, P.
2008 May 27.  Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :