Modeling and analysis of automotive systems: Current approaches and future trends | IEEE Conference Publication | IEEE Xplore