(1)
Andersen, J. H.; Kristensen, C. H.; Skou, A. Specification and Automated Verification of Real-Time Behaviour —A Case Study. BRICS 1995, 2.