Godskesen, J. C.; Larsen, K. G.; Skou, A. Automatic Verification of Real-Timed Systems Using EPSILON. BRICS 1994, 1.