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