K. Cerans, J. C. Godskesen, og K. G. Larsen, “Timed Modal Specification —Theory and Tools”, BRICS, bd. 4, nr. 11, jan. 1997.