"A CLP Proof Method for Timed Automata."

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics