Real-time systems - Krishna C. M.; Shin Kang G. (McGraw-Hill Computer Science Series, 1997)