Godskesen, J. C., Larsen, K. G. and Skou, A. (1994) “Automatic Verification of Real-Timed Systems Using EPSILON”, BRICS Report Series, 1(19). doi: 10.7146/brics.v1i19.21648.