Timing Modeling with AUTOSAR - Current state and future directions | IEEE Conference Publication | IEEE Xplore