Real-Time Systems:scheduling,analysis,and verification - Cheng,Albert M (New Delhi Wiley India, 2010)