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