Real-time systems - Krishna, C. M. (McGraw-Hill, 1997)