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