Adresse Karlsruher Institut für Technologie (KIT)Institut für Angewandte Informatik undFormale Beschreibungsverfahren (AIFB) Postfach 6980 76049 Karlsruhe
ORCID-ID 0000-0003-0576-7457