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 december 5, 2025. https://tidsskrift.dk/brics/article/view/19961.