Foundations of real-time computing: formal specifications and methods - Van Tilborg, Andre M.,; Koob, Gary M., (The Kluwer international series in engineering and computer science. Real-time systems, 1991)