Text this: Real-time systems : scheduling, analysis, and verification / Albert M.K. Cheng.