Real-time systems - Krishna (McGraw Hill, 1997)