1. University of Bremen, Group of Computer Architecture, Bremen, Germany
2. Cadence Design Systems, Inc., San Jose, CA, USA
3. Johannes Kepler University Institute for Integrated Circuits, Linz, Austria, Software Competence Center Hagenberg GmbH (SCCH) and DFKI GmbH, Cyber Physical Systems
4. German Aerospace Center (DLR), Department for the Resilience of Maritime Systems, Bremerhaven, Germany
5. University of Bremen, Group of Computer Architecture, Bremen, Germany and DFKI GmbH, Cyber Physical Systems