1.
Andersen JH, Kristensen CH, Skou A. Specification and Automated Verification of Real-Time Behaviour —A Case Study. BRICS [Internet]. 1995 Jun. 30 [cited 2024 Mar. 28];2(60). Available from: https://tidsskrift.dk/brics/article/view/19961