HOFFMANN, J. L. C.; FRÖHLICH, A. A.; VÖLP, M.; MILAZZO, P. Safe and Protected: Combining Protection Mechanism with Safety Verification In Autonomous Vehicles. Journal of Internet Services and Applications, [S. l.], v. 17, n. 1, p. 16–35, 2026. DOI: 10.5753/jisa.2026.5913. Disponível em: https://journals-sol.sbc.org.br/index.php/jisa/article/view/5913. Acesso em: 3 feb. 2026.