Realtime systems - Nimal Nissanke (Prentice Hall, London, 1997)