1. Blekinge Institute of Technology; 371 79 Karlskrona Sweden
2. Institute of Applied Informatics and Formal Description Methods; Karlsruhe Institute of Technology; 76128 Karlsruhe Germany
3. AXON ACTIVE AG; Schlössli Schönegg; Wilhelmshöhe; 6003 Luzern Switzerland