Extended support for limited preemption fixed priority scheduling for OSEK/AUTOSAR-compliant operating systems | IEEE Conference Publication | IEEE Xplore