Constructing predictable real time systems - Halang, Wolfgang A. (The Kluwer International Series in Engineering and Computer Science / Kluwer Academic Publishers., 1991)