1. Innovation, Strategy and Transfer (IST), FZI Research Center for Information Technology, Germany and
Applied Informatics and Formal Description Methods (AIFB), Karlsruhe Institute for Technology (KIT), Germany
2. Applied Informatics and Formal Description Methods (AIFB), Karlsruhe Institute for Technology (KIT), Germany
3. Applied Informatics and Formal Description Methods (AIFB), Karlsruhe Institute of Technology, Germany and
Innovation, Strategy and Transfer (IST), FZI Forschungszentrum Informatik, Germany