OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling. - Vincenzo Apuzzo; Alessandro Biondi 001; Giorgio C. Buttazzo (RTAS, 2016)