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