Real-time systems theory and practice - Mall, Rajib