R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.

A. Platzer, Logical Foundations of Cyber-Physical Systems, 2018.

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.

N. Zhan, S. Wang, and H. Zhao, Formal Verification of Simulink/Stateflow Diagrams -A Deductive Approach, 2017.

D. Iaon, G. Landau, and . Zito, Digital Control Systems Design Identification and Implementation, 2010.

Y. Aït-ameur and D. Méry, Making explicit domain knowledge in formal system development, Science of Computer Programming, vol.121, pp.100-127, 2016.

D. Bjørner, Domain analysis and description principles, techniques, and modelling languages, ACM Transactions on Software Engineering and Methodology, vol.28, issue.2, pp.1-8, 2019.

W. Su, J. Abrial, and H. Zhu, Formalizing hybrid systems with Event-B and the Rodin platform, Science of Computer Programming, vol.94, pp.164-202, 2014.

G. Dupont, Y. A. Ameur, M. Pantel, and N. Singh, Handling refinement of continuous behaviors: A proof based approach with Event-B, 13th International Symposium on Theoretical Aspects of Software Engineering, pp.9-16, 2019.

, Collaborative Design for Embedded Systems Co-modelling and Co-simulation, 2014.

J. Peter-gorm-larsen, J. Fitzgerald, C. Woodcock, R. Gamble, K. Payne et al., Features of integrated model-based comodelling and co-simulation technology, 17th International Conference on Software Engineering and Formal Methods, pp.377-390, 2017.

M. Gleirscher, S. Foster, and J. Woodcock, New opportunities for integrated formal methods, ACM Computing Surveys, vol.52, issue.6, pp.1-36, 2019.

J. Liu, J. Lv, Z. Quan, N. Zhan, H. Zhao et al., A calculus for hybrid CSP, 8th Asian Symposium on Programming Languages and Systems, pp.1-15, 2010.

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

M. Butler and I. Maamria, Mathematical extension in event-b through the rodin theory component, 2010.

J. Abrial, Modeling in Event-B: system and software engineering, 2010.

N. Singh, Eb2all: an automatic code generation tool. In Using Event-B for Critical Device Software Systems, pp.105-141, 2013.

Z. Cheng, D. Méry, and R. Monahan, On two friends for getting correct programs -automatically translating Event-B specifications to recursive algorithms in rodin, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.821-838, 2016.

M. K-rustan and . Leino, Dafny: An automatic program verifier for functional correctness, 17th International Conference on Logic for Programming Artificial Intelligence and Reasoning, pp.348-370, 2010.

Z. Cheng and D. Méry, The full development of smart heating system case study in Event

J. , C. Filliâtre, and A. Paskevich, Why3 -where programs meet provers, 22nd European symposium on programming, pp.125-128, 2013.

A. Sogokon, S. Mitsch, Y. K. Tan, K. Cordwell, and A. Platzer, Pegasus: A framework for sound continuous invariant generation, 23rd International Symposium on Formal Methods, pp.138-157, 2019.