Foundations of real-time computing : formal specifications and methods - Andre M. van, Tilborg; Koob, Gary M. (Kluwer Academic Publishers, 1991)