Extending the RT Profile to support the OSEK infrastructure | IEEE Conference Publication | IEEE Xplore