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