Theories and experiences for real time system development - Rus, Teodor (World Scientific, 1994)