Real-Time Systems - Jane W.S. Liu (New Delhi Pearson Education Asia Pte. Ltd., 2005)