Godskesen, Jens Chr., Kim G. Larsen, and Arne Skou. 1994. “Automatic Verification of Real-Timed Systems Using EPSILON”. BRICS Report Series 1 (19). https://doi.org/10.7146/brics.v1i19.21648.