1[1]R.Alur.Timed Automat[C].NATO-AST 1998 Summer School on Verification of Digital and Hybrid Systems.1998.
2[2]Inhye Kang,et al,An Efficient State Space Generation for Analysis of Real time System[J],ACM transaction on computer,1996.
3[3]Zonghua Gu,Kang G.Shin.An Integrated Aproach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Nets[C].Proceeding of 23rd International Conference on Disributed Computing Systems (ICDCS'03),1063-6927/03.2003.
4[4]Alexandre David,Wang Yi.Hierarchical Timed Automata for UPPAAL[C].Presented at The 10th Nordic Workshop on Programming Theory (NWPT'98),Turku Centre for Computer Science (TUCS),Finland,October 14-16th,1998.
