Giorgio C. Buttazzo: Real-Time Scheduling and Resource Management. Handbook of Real-Time and Embedded Systems 2007