Cerans, K., Godskesen, J.C. and Larsen, K.G. 1997. Timed Modal Specification —Theory and Tools. BRICS Report Series. 4, 11 (Jan. 1997). DOI:https://doi.org/10.7146/brics.v4i11.18802.