Florian Aul Professur für Entwurfsmethodik Institut für Informatik Johann Wolfgang Goethe-Universität Postfach 11 19 32 60054 Frankfurt am Main
aul(at)em.informatik.uni-frankfurt.de