1Alur R,Courcoubetis C,Henzinger TA,et al.Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems . 1993
2HENZINGER T A.Verification of digital and hybrid systems. NATO ASI Series F: Computer and Systems Sciences . 2000
3Henzinger T A,Ho P H,Wong-Toi H.Hy Tech:A model checker for hybrid systems. Computer Aided Verification . 1997
4Casagrande A,Piazza C.Model Checking on Hybrid Automata. Digital System Design DSD 2012 15th Euromicro Conference on . 2012
5FREHSE G.PHAVer:Algorithmic verificatin of hybrid systems past HyTech. Hybrid Systems:Computation and Control . 2005
6Henzinger T A.The theory of hybrid automata. . 2000