3EN50126-1999. Railway application: The specification and demonstration of reliability[S]. 1999.
4Alur R, Dill D L, A theory of timed automata[ J ]. Theoretical Computer Science, 1994,126 : 183 - 235.
5Alur R, Dill D L. Automata for modeling real-time systems [ C]. In Proc. 17th ICALP, Lecture Notes in Computer Science 443, Springer- Verlag, 1990:322 - 335.
6Gollu A, Puri A, Varaiya P. Discretization of timed automata [ C ]. In Proc. 33rd CDC, 1994.
7Henzinger T A, Nicollin X, Sifakis J,et al. Symbolic model checking for real-time systems[ C]. In Proc. 7th Symp. on Logics in Computer Science. IEEE Computer Society Press, 1992 : 394 - 406.
8Sergio Y, Centre. E, Model checking timed automata[ C ]. Lecture notes in computer science,volume on embedded systems, Springer-Verlag, 1997.
9Bryant R E. Graph-based algorithms for boolean function manipulation [ J ]. IEEE Transactions on Computers, 1986,35 (8) :677 - 692.
10Asarin E, Maler O, Cospip P. A kleene theorem for timed automata [ C]. In proceeding of the 12th IEEE symposium on logic in computer Science, 1987 : 160 - 171.
