José Hoffmann, Antônio Fröhlich, Marcus Völp, and Paolo Milazzo. 2024.
 Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles. In <em>Anais do XIII Latin-American Symposium on Dependable Computing</em>, novembro 26, 2024, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 55–64.