1. Institute of Software Engineering and Programming Languages, University of Ulm, Germany
2. Institute of Theoretical Computer Science, University of Ulm, Germany
3. Department of Technical and Business Information Systems, University of Magdeburg, Germany
4. Paderborn University, Germany