Pestana, L., & 		Miranda, B.
(2024).
 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>, (pp. 92-94). Porto Alegre: SBC.