Real-time systems - Liu, Jane W S (Pearson Education, 2003)