Hoffmann, José, Fröhlich, Antônio, Völp, Marcus, E Milazzo, Paolo. " Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles" Anais do Latin-American Symposium on Dependable Computing (LADC) [Online], (26 novembro 2024)