Real-time systems : scheduling, analysis, and verification - Cheng, Albert M. K. (John Wiley & Sons, 2002)