1. Insitute of Applied Informatics and Formal Description Methods, Department of Economics and Management, Karlsruhe Institute of Technology (KIT), Germany
2. Department of Informatics, University of Zurich, Switzerland
3. Karlsruhe Institute of Technology (KIT), Germany
4. Human-Centered Systems Lab, Karlsruhe Institute of Technology (KIT), Germany