Cross-layer design of automotive cyber-physical systems - Schneider, Reinhard (Verl. Dr. Hut, 2014)