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