Designing a New Real-Time Kernel with a Hybrid Scheduler | IEEE Conference Publication | IEEE Xplore