Challenges in the design of automotive software | IEEE Conference Publication | IEEE Xplore