A. Figueiredo, P. Machado, E. Cartaxo, J. Figueiredo, and P. Barbosa.
"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>, Rio de Janeiro/RJ, 2008, pp. 17-30, doi: <a href="https://doi.org/10.5753/wtf.2008.23143">https://doi.org/10.5753/wtf.2008.23143</a>.