[1] Siemens Digital Ind Software, Plano, TX 75023 USA
[2] Karlsruhe Inst Technol, Embedded Syst, D-76131 Karlsruhe, Germany
[3] NXP, Software Engn Res & Dev Edge Proc Business Line, Austin, TX 78735 USA
[4] Intel Corp, Circuit Technol Res, Hillsboro, OR 97124 USA