Real-time systems - Jane W S Liu (Pearson Education Asia, New Delhi, 2000)