Embedded Real Time Systems - Prasad, K. (DREAMTCH, 2005)