André Figueiredo, Patricia Machado, Emanuela Cartaxo, Jorge Figueiredo, and Paulo Barbosa. 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>, May 27, 2008, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 17-30. DOI: <a href="https://doi.org/10.5753/wtf.2008.23143">https://doi.org/10.5753/wtf.2008.23143</a>.