OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling | IEEE Conference Publication | IEEE Xplore