Hoffmann, J., 		Fröhlich, A., 		Völp, M., & 		Milazzo, P.
(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>, (pp. 55–64). Porto Alegre: SBC.