[1]
J. H. Andersen, C. H. Kristensen, and A. Skou, “Specification and Automated Verification of Real-Time Behaviour —A Case Study”, BRICS, vol. 2, no. 60, Jun. 1995.