R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, pp.209-229, 1992.
DOI : 10.1007/3-540-57318-6_30

R. Alur, T. Dang, and F. Ivancic, Predicate abstraction for reachability analysis of hybrid systems, ACM Transactions on Embedded Computing Systems, vol.5, issue.1, pp.152-199, 2006.
DOI : 10.1145/1132357.1132363

E. Asarin, O. Bournez, T. Dang, and O. Maler, Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems, HSCC'00, pp.21-31, 2000.
DOI : 10.1007/3-540-46430-1_6

URL : https://hal.archives-ouvertes.fr/inria-00099316

E. M. Clarke, A. Fehnker, Z. Han, B. H. Krogh, J. Ouaknine et al., Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems, International Journal of Foundations of Computer Science, vol.14, issue.04, pp.583-604, 2003.
DOI : 10.1142/S012905410300190X

J. He, From CSP to hybrid systems, In A classical mind, pp.171-189, 1994.

T. A. Henzinger, The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.278-292, 1996.
DOI : 10.1109/LICS.1996.561342

G. Lafferrierre, G. J. Pappas, and S. Yovine, Symbolic Reachability Computation for Families of Linear Vector Fields, Journal of Symbolic Computation, vol.32, issue.3, pp.1-23, 2001.
DOI : 10.1006/jsco.2001.0472

J. Liu, J. Lv, Z. Quan, N. Zhan, H. Zhao et al., A Calculus for Hybrid CSP, APLAS'10, pp.1-15, 2010.
DOI : 10.1007/978-3-642-17164-2_1

J. Liu, N. Zhan, and H. Zhao, Computing semi-algebraic invariants for polynomial dynamical systems, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.97-106, 2011.
DOI : 10.1145/2038642.2038659

URL : http://arxiv.org/abs/1102.0705

N. Lynch, R. Segala, F. Vaandrager, and H. Weinberg, Hybrid I/O automata, HSCC'96, pp.496-510, 1996.
DOI : 10.1007/bfb0020971

Z. Manna and A. Pnueli, Verifying hybrid systems, Hybrid Systems, pp.4-35, 1993.
DOI : 10.1007/3-540-57318-6_22

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.6190

H. , R. Nielson, and F. Nielson, Probabilistic Analysis of the Quality Calculus, FORTE'13, pp.258-272, 2013.
DOI : 10.1007/978-3-642-38592-6_18

H. R. Nielson, F. Nielson, and R. Vigo, A Calculus for Quality, FACS'13, pp.188-204, 2013.
DOI : 10.1007/978-3-642-35861-6_12

A. Platzer, Differential-algebraic Dynamic Logic for Differential-algebraic Programs, Journal of Logic and Computation, vol.20, issue.1, pp.309-352, 2010.
DOI : 10.1093/logcom/exn070

A. Platzer and J. Quesel, European Train Control System: A Case Study in Formal Verification, ICFEM'09, pp.246-265, 2009.
DOI : 10.1007/978-3-642-10373-5_13

S. Wang, F. Nielson, and H. Nielson, A framework for hybrid systems with denialof-service security attack, Chinese Academy of Sciences, 2014.

N. Zhan, S. Wang, and H. Zhao, Formal Modelling, Analysis and Verification of Hybrid Systems, ICTAC Training School on Software Engineering, pp.207-281, 2013.
DOI : 10.1007/978-3-642-39721-9_5

C. Zhou and M. R. Hansen, Duration Calculus ? A Formal Approach to Real-Time Systems, Monographs in Theoretical Computer Science. An EATCS Series, 2004.

C. Zhou, C. A. Hoare, and A. P. Ravn, A calculus of durations, Information Processing Letters, vol.40, issue.5, pp.269-276, 1991.

C. Zhou, J. Wang, and A. P. Ravn, A formal description of hybrid systems, Hybrid systems, pp.511-530, 1996.