J. Hoffmann, A. Fröhlich, M. Völp, and P. Milazzo.
" 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>, Recife/PE, 2024, pp. 55–64.