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