Andersen, J. H., Kristensen, C. H. and Skou, A. (1995) “Specification and Automated Verification of Real-Time Behaviour —A Case Study”, BRICS Report Series, 2(60). doi: 10.7146/brics.v2i60.19961.