1. Institute of Computer Science, University of Bremen, Bremen, Germany
2. Institute for Integrated Circuits, Johannes Kepler University, Linz, Austria Cyber Physical Systems, DFKI GmbH, Bremen, Germany
3. Institute of Computer Science, University of Bremen, Bremen, Germany Cyber Physical Systems, DFKI GmbH, Bremen, Germany