Kevin Neumann, Friederike Jochem, Maria Ferte, Ina Gege, Joshua Biesinger, AIFB - Institute of Applied Informatics and Formal Description Methods, Karlsruhe Institute of Technology - 2023