A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. - Sebastian Krings; Philipp Körner; Jannik Dunkelau; Chris Rutenkolk (ABZ, 2020)

Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems. - Kristin Rutenkolk (ABZ, 2023)

A verified low-level implementation and visualization of the adaptive exterior light and speed control system. - Sebastian Krings; Philipp Körner; Jannik Dunkelau; Kristin Rutenkolk (Int. J. Softw. Tools Technol. Transf., 2024)

Case Study: Safety Controller for Autonomous Driving on Highways. - Michael Leuschel; Fabian Vu; Kristin Rutenkolk (ABZ, 2025)