Timing modeling and analysis for AUTOSAR-based software development - a case study | IEEE Conference Publication | IEEE Xplore