Hoffmann, J., 		Fröhlich, A., 		Völp, M., & 		Milazzo, P.
2024 nov 26.  Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles. Anais do Latin-American Symposium on Dependable Computing (LADC). [Online] :