Hoffmann, J. L. C., A. A. Fröhlich, M. Völp, and P. Milazzo. “Safe and Protected: Combining Protection Mechanism With Safety Verification In Autonomous Vehicles”. Journal of Internet Services and Applications, vol. 17, no. 1, Jan. 2026, pp. 16-35, doi:10.5753/jisa.2026.5913.