Reservation-Based Interrupt Scheduling