Constructing predictable real time systems - Halang, Wolfgang A., 1951- (Kluwer international series in engineering and computer science, 1991)