Real-Time systems and programming language - Burns, Alan. (Harlow, 1997)