1: \begin{thebibliography}{10}

2: 

3: \bibitem{alur95algorithmic}

4: R.~Alur, C.~Courcoubetis, N.~Halbwachs, T.~A. Henzinger, P.-H. Ho, X.~Nicollin,

5:   A.~Olivero, J.~Sifakis, and S.~Yovine.

6: \newblock The algorithmic analysis of hybrid systems.

7: \newblock {\em Theoretical Computer Science}, 138(1):3--34, 1995.

8: 

9: \bibitem{alur03counterexample}

10: R.~Alur, T.~Dang, and F.~Ivancic.

11: \newblock Counter-example guided predicate abstraction of hybrid systems, 2003.

12: 

13: \bibitem{DBLP:conf/hybrid/FehnkerCJK05}

14: Ansgar Fehnker, Edmund~M. Clarke, Sumit~Kumar Jha, and Bruce~H. Krogh.

15: \newblock Refining abstractions of hybrid systems using counterexample

16:   fragments.

17: \newblock In Morari and Thiele \cite{DBLP:conf/hybrid/2005}, pages 242--257.

18: 

19: \bibitem{DBLP:conf/hybrid/Frehse05}

20: Goran Frehse.

21: \newblock Phaver: Algorithmic verification of hybrid systems past hytech.

22: \newblock In Morari and Thiele \cite{DBLP:conf/hybrid/2005}, pages 258--273.

23: 

24: \bibitem{thatom}

25: T.A. Henzinger.

26: \newblock The theory of hybrid automata.

27: \newblock {\em Lecture Notes in Computer Science}, page 278, 1996.

28: 

29: \bibitem{henzinger97hytech}

30: Thomas~A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.

31: \newblock {HYTECH}: A model checker for hybrid systems.

32: \newblock {\em International Journal on Software Tools for Technology

33:   Transfer}, 1(1--2):110--122, 1997.

34: 

35: \bibitem{hothesis}

36: Pei-Hsin Ho.

37: \newblock Automatic analysis of hybrid systems, ph.d. thesis, technical report

38:   csd-tr95-1536, cornell university, august 1995, 188 pages, 1995.

39: 

40: \bibitem{jha2007}

41: Sumit~Kumar Jha, Bruce Krogh, Jim Weimer, and Edmund~M. Clarke.

42: \newblock Ira: Iterative relaxation for linear hybrid automata (submitted to

43:   hscc 2007).

44: 

45: \bibitem{jha2006}

46: Xuandong Li, Sumit~Kumar Jha, and Lei Bu.

47: \newblock Towards an efficient path-oriented tool for bounded reachability

48:   analysis of linear hybrid systems using linear programming. bmc 2006.

49: 

50: \bibitem{DBLP:conf/hybrid/2005}

51: Manfred Morari and Lothar Thiele, editors.

52: \newblock {\em Hybrid Systems: Computation and Control, 8th International

53:   Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings},

54:   volume 3414 of {\em Lecture Notes in Computer Science}. Springer, 2005.

55: 

56: \end{thebibliography}

57: