Real-Time systems : scheduling , analysis and verification - Cheng, Albert M. K. (Wiley-Interscience, 2002)