Address
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte Informatik und
Formale Beschreibungsverfahren (AIFB)
Post Office Box 6980
76049 Karlsruhe
ORCID-ID 0000-0003-0576-7457