Formalization and Verification of AUTOSAR OS Standard's Memory Protection | IEEE Conference Publication | IEEE Xplore