Predictable Interrupt Scheduling With Low Overhead for Real-Time Kernels

doi 10.1109/rtcsa.2006.51