Real-time systems : theory and practice - Mall, Rajib (Pearson Education, 2007)