2007
Improvements for the Symbolic Verification of Timed Automata.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007