L. Pestana and B. Miranda.
" Reducing Rework in Automotive Software through Simulation-Guided Verification", in <em>Anais do IX Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, Curitiba/PR, 2024, pp. 92-94.