Partner Max-Planck-Institut für Informatik Max-Planck-Institut für Softwaresysteme Fachbereich Informatik, TU Kaiserslautern Fachbereich Informatik, Universität des Saarlandes