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