Corrector: Prof. Dr. Hartmut Schmeck (KIT-Institut für Angewandte Informatik und Formale Beschreibungsverfahren - AIFB)