Partners Max Planck Institute for Informatics Max Planck Institute for Software Systems Computer Science Department, TU Kaiserslautern Computer Science Department, Saarland University