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 (Jun. 1995). DOI:https://doi.org/10.7146/brics.v2i60.19961.