Reservation-Based State Feedback Scheduler for Hybrid Real-Time Systems | IEEE Conference Publication | IEEE Xplore