Andersen JH, Kristensen CH, Skou A. Specification and Automated Verification of Real-Time Behaviour —A Case Study. BRICS [Internet]. 30. juni 1995 [henvist 5. december 2025];2(60). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19961