J. L. C. Hoffmann, A. A. Fröhlich, M. Völp, and P. Milazzo, “Safe and Protected: Combining Protection Mechanism with Safety Verification In Autonomous Vehicles”, JISA, vol. 17, no. 1, pp. 16–35, Jan. 2026.