An analysis of the AUTOSAR OS timing protection mechanism | IEEE Conference Publication | IEEE Xplore