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