AIFB – Institut für Angewandte Informatik und Formale Beschreibungsverfahren Gruppenmitglieder Benjamin Berens Melanie Volkamer Phillip Matheis