"Timed Modal Specification - Theory and Tools."

Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics