Improvements for the Symbolic Verification of Timed Automata. - Rongjie Yan; Guangyuan Li; Wenliang Zhang; Yunquan Peng (FORTE, 2007)