Real-time systems - Krishna, C. M.; Shin, Kang G. (McGraw-Hill series in computer science, 1997)