Real Time Systems - Krishna, C.M.; SHIN, KANG G. (NEW DELHI, 1997)