Engineering real-time systems : an object-oriented methodology using SDL - Brxk, Rolv (Prentice Hall, 1993)