Modeling the Effects of AUTOSAR Overhead on Automotive Application Software Timing and Schedulability