Real-time systems - Krishna, C. M. (McGraw-Hill international editions. Computer science series, 1997)