L. Pestana and B. Miranda.
" Reducing Rework in Automotive Software through Simulation-Guided Verification", in <em>Proceedings of the 9th Brazilian Symposium on Systematic and Automated Software Testing</em>, Curitiba/PR, 2024, pp. 92-94, doi: <a href="https://doi.org/10.5753/sast.2024.3884">https://doi.org/10.5753/sast.2024.3884</a>.