A. Platzer, Differential Dynamic Logic for Hybrid Systems, Journal of Automated Reasoning, vol.30, issue.1, pp.143-189, 2008.
DOI : 10.1007/978-1-4612-0601-9

V. R. Pratt, Dynamic Logic, Studies in Logic and the Foundations of Mathematics, pp.251-261, 1982.
DOI : 10.1016/S0049-237X(09)70196-X

A. Müller, S. Mitsch, W. Retschitzegger, W. Schwinger, and A. Platzer, A Component-Based Approach to Hybrid Systems Safety Verification, IFM, ser, pp.441-456, 2016.
DOI : 10.1145/2737166.2737167

R. Back and J. Wright, Refinement calculus: a systematic introduction, 1998.
DOI : 10.1007/978-1-4612-1674-2

M. Rönkkö and A. P. Ravn, Action systems with continuous behaviour, International Hybrid Systems Workshop, pp.304-323, 1997.

M. Rönkkö, A. P. Ravn, and K. Sere, Hybrid action systems, Theoretical Computer Science, vol.290, issue.1, pp.937-973, 2003.
DOI : 10.1016/S0304-3975(02)00547-9

R. Banach, M. Butler, S. Qin, N. Verma, and H. Zhu, Core Hybrid Event-B I: Single Hybrid Event-B machines, Science of Computer Programming, vol.105, pp.92-123, 2015.
DOI : 10.1016/j.scico.2015.02.003

A. Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics, 2010.

K. J. Aström and B. Wittenmark, Foundations of cyber-physical systems Lecture Notes 15-424 Computer-controlled systems: theory and design, Courier Corporation, vol.624, 2013.

A. Müller, S. Mitsch, and A. Platzer, Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems, 2015 IEEE 18th International Conference on Intelligent Transportation Systems, pp.757-764, 2015.
DOI : 10.1109/ITSC.2015.128

S. M. Loos and A. Platzer, Differential Refinement Logic, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, 2016.
DOI : 10.1007/978-1-4612-0601-9_4

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

A. Platzer, Logics of Dynamical Systems, 2012 27th Annual IEEE Symposium on Logic in Computer Science, pp.13-24, 2012.
DOI : 10.1109/LICS.2012.13

S. Mitsch, J. Quesel, and A. Platzer, Refactoring, Refinement, and Reasoning, International Symposium on Formal Methods, pp.481-496, 2014.
DOI : 10.1007/978-3-319-06410-9_33

N. Fulton, S. Mitsch, J. Quesel, M. Völp, and A. Platzer, KeYmaera??X: An Axiomatic Tactical Theorem Prover for Hybrid Systems, International Conference on Automated Deduction, pp.527-538, 2015.
DOI : 10.1007/978-3-319-21401-6_36

M. Rönkkö and K. Sere, Refinement and continuous behaviour, International Workshop on Hybrid Systems: Computation and Control, pp.223-237, 1999.

A. Sangiovanni-vincentelli, W. Damm, and R. Passerone, Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*, European Journal of Control, vol.18, issue.3, pp.217-238, 2012.
DOI : 10.3166/ejc.18.217-238

R. Back and J. Wright, Trace refinement of action systems, 1994.

R. Back, L. Petre, and I. Porres, Continuous action systems as a model for hybrid systems Linear hybrid action systems, Nord. J. Comput. Nordic Journal of Computing, vol.8, issue.8 1, pp.2-21, 2001.

A. Fehnker and F. Ivan?i´ivan?i´c, Benchmarks for Hybrid Systems Verification, Hybrid Systems: Computation and Control, pp.326-341, 2004.
DOI : 10.1007/978-3-540-24743-2_22

A. Benveniste, D. Nickovic, and T. Henzinger, Compositional Contract Abstraction for System Design Available: https, INRIA, Research Report, 2014.

I. Ruchkin, D. De-niz, S. Chaki, and D. Garlan, Contract-based integration of cyber-physical analyses, Embedded Software (EM- SOFT), 2014 International Conference on, pp.1-10, 2014.

S. Gao, S. Kong, and E. M. Clarke, dReal: An SMT Solver for Nonlinear Theories over the Reals, Automated Deduction?CADE-24, pp.208-214, 2013.
DOI : 10.1007/978-3-642-38574-2_14

D. Ricketts, G. Malecha, M. M. Alvarez, V. Gowda, and S. Lerner, Towards verification of hybrid systems in a foundational proof assistant, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.248-257, 2015.
DOI : 10.1109/MEMCOD.2015.7340492

J. Abrial, W. Su, H. Zhu, and Z. Vdm, Formalizing Hybrid Systems with Event-B, International Conference on Abstract State Machines, pp.178-193, 2012.
DOI : 10.1007/978-3-642-30885-7_13

L. Lamport, Hybrid systems in TLA+, Hybrid Systems, pp.77-102, 1993.
DOI : 10.1007/3-540-57318-6_25