Realtime systems / - Nissanke, Nimal. (Prentice Hall,, 1997)