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