1. Embedded Systems, Getinge AB, Rastatt 76437, Germany
2. MB.OS Base SW Development, Mercedes-Benz AG, Sindelfingen 71063, Germany
3. Institute of Information Processing Technologies, Karlsruhe Institute of Technology, Karlsruhe 76131, Germany
4. Embedded Systems and Sensors Engineering, FZI Research Center for Information Technology, Berlin 10117, Germany