Constructing predictable real time systems - Halang, Wolfgang A. (Kluwer Academic Publishers, 1991)