Constructing Predictable Real Time Systems - Halang, Wolfgang A. 1951-; Stoyenko, Alexander D. (Springer US, 1991)