Hoffmann, J.L.C., Fröhlich, A.A., Völp, M. and Milazzo, P. 2026. Safe and Protected: Combining Protection Mechanism with Safety Verification In Autonomous Vehicles. Journal of Internet Services and Applications. 17, 1 (Jan. 2026), 16–35. DOI:https://doi.org/10.5753/jisa.2026.5913.