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