Pao-Ann Hsiung Shang-Wei Lin Yean-Ru Chen Chun-Hsian Huang Jia-Jen Yeh Hong-Yu Sun Chao-Sheng Lin Hsiao-Win Liao Model Checking Timed Systems with Urgencies. 67-81 2006 conf/atva/2006 ATVA http://dx.doi.org/10.1007/11901914_8 db/conf/atva/atva2006.html#HsiungLCHYSLL06