K. Cerans, J. C. Godskesen, and K. G. Larsen, “Timed Modal Specification —Theory and Tools”, BRICS, vol. 4, no. 11, Jan. 1997.