Engineering real time systems - Rolv Braek (Prentice Hall, 1993)