Rongjie Yan Guangyuan Li Zhisong Tang Symbolic Model Checking of Finite Precision Timed Automata. 272-287 2005 conf/ictac/2005 ICTAC http://dx.doi.org/10.1007/11560647_18 db/conf/ictac/ictac2005.html#YanLT05