Pestana, L., & 		Miranda, B.
2024 set 30.  Reducing Rework in Automotive Software through Simulation-Guided Verification. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :