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), pp. 16–35. doi: 10.5753/jisa.2026.5913.