6Clarke EM, Grumberg O, Peled DA. Model Checking. Cambridge: MIT Press, 2000.
7Henzinger TA. The theory of hybrid automata. Verification of Digital and Hybrid Systems, 2000,170:265-292. [doi: 10.1007/978- 3-642-59615-5_13].
8Dill DL. Timing assumptions and verification of finite-state concurrent systems. In: Proc. of the Int'l Workshop on Automatic Verification Methods for Finite State Systems. LNCS 497, Berlin, Heidelberg: Springer-Verlag, 1990. 197-212. [doi: 10.1007/3- 540-52148-8_17].
9Alur R. Timed automata. In: Proc. of the l lth lnt'l Conf. on Computer-Aided Verification. LNCS 1633, Berlin, Heidelberg: Springer-Verlag, 1999. 8-22. [doi: 10.1007/3-540-48683-6_3].
10Zhao JH, Wang LZ, Li XD. A partial order reduction technique for parallel timed automaton model checking. In: Proc. of the Leveraging Applications of Formal Methods, Verification and Validation Communications in Computer and Information Science, Vol.17. Berlin, Heidelberg: Springer-Verlag, 2008. 262-276. [doi: 10.1007/978-3-540-88479-8_19].
