Real-Time Systems : Scheduling, Analysis, and Verification - Cheng, Albert M.K (Wiley)