1. Institut für Technik der Informationsverarbeitung, Karlsruhe Institute of Technology,Karlsruhe,Germany
2. Karlsruhe Institute of Technology,Dependability of Software-intensive Systems,Karlsruhe,Germany
3. Martin Luther University Halle-Wittenberg,Software Engineering and Programming Languages,Halle-Wittenberg,Germany