Modeling and Analysis of Automotive Systems: Current Approaches and Future Trends. - Paolo Giusto; Ramesh S. 002; Sudhakaran M. (MODELSWARD, 2016)