Andersen, Jørgen H., Carsten H. Kristensen, and Arne Skou. “Specification and Automated Verification of Real-Time Behaviour —A Case Study”. BRICS Report Series 2, no. 60 (June 30, 1995). Accessed April 25, 2024. https://tidsskrift.dk/brics/article/view/19961.