Realtime systems - Nissanke (Prentice Hall series in computer science, 1997)