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