Foundations of Real-Time Computing: Formal Specifications and Methods (Kluwer International Series in Engineering and Computer Science, 142)