A CLP proof method for timed automata - Jaffar, J. (2013)
Proceedings - Real-Time Systems Symposium