Real Time Systems - Krishna, C.M. (ND Tata mc-gawhill, 2010)