J. C. Godskesen, K. G. Larsen, and A. Skou, “Automatic Verification of Real-Timed Systems Using EPSILON”, BRICS, vol. 1, no. 19, Jun. 1994.