J. H. Andersen, C. H. Kristensen, og A. Skou, “Specification and Automated Verification of Real-Time Behaviour —A Case Study”, BRICS, bd. 2, nr. 60, jun. 1995.