Krishna, C. M. <i>Real-Time Systems</i>. McGraw-Hill, 1997.