Real-time systems - Liu,Jane W.S (Vidhyanagar Pearson Education Asia, 2001)