Hoffmann, J. L. C.; Fröhlich, A. A.; Völp, M.; Milazzo, P. Safe and Protected: Combining Protection Mechanism With Safety Verification In Autonomous Vehicles. JISA 2026, 17, 16-35.