Cerans, K.; Godskesen, J. C.; Larsen, K. G. Timed Modal Specification —Theory and Tools. BRICS 1997, 4.