Jin Song Dong Ping Hao Shengchao Qin Jun Sun 0001 Wang Yi Timed Automata Patterns. 844-859 2008 34 IEEE Trans. Software Eng. 6 http://dx.doi.org/10.1109/TSE.2008.52 db/journals/tse/tse34.html#DongHQSY08