Yong Li 0005 Dang Van Hung Checking Temporal Duration Properties of Timed Automata. 689-698 2002 17 J. Comput. Sci. Technol. 6 http://jcst.ict.ac.cn/cone/cone26.html#paper4 db/journals/jcst/jcst17.html#LiH02