G. Yang and X. Zhou, Cyber-Physical Systems, 2013.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, pp.1305-1320, 1991.

J. Forget, F. Boniol, D. Lesens, and C. Pagetti, A Multi-Periodic Synchronous Data-Flow Language, 11th IEEE High Assurance Systems Engineering Symposium, pp.251-260, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00802695

P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. The SEI series in software engineering, p.820515268, 2013.

F. Cottet and E. Grolleau, Systèmes temps réel embarqués: Conception et implémentation, 2014.

. Mathworks, Verification, Validation, and Test-MATLAB & Simulink Solutions

J. C. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, Distributed Real-Time Software for Cyber-Physical Systems, Proceedings of the IEEE, vol.100, pp.45-59, 2012.

E. A. Lee, CPS foundations, Design Automation Conference, pp.737-742, 2010.

C. Ptolemaeus, System Design, Modeling, and Simulation Using Ptolemy II. Ptolemy.org, 2014.

C. Brooks, C. P. Cheng, T. H. Feng, E. A. Lee, and R. Von, Model engineering using multimodeling, 2008.

L. Lamport, Time, Clocks, and the Ordering of Events in a Distributed System, Commun. ACM, vol.21, pp.558-565, 1978.

K. M. Chandy and J. Misra, Distributed Simulation: A Case Study in Design and Verification of Distributed Programs, IEEE Transactions on Software Engineering, issue.5, pp.440-452, 1979.

I. Board, IEEE Standard for Modeling and Simulation (M & S) High Level Architecture (HLA): Federate Interface Specification, 2010.

C. Gervais, J. B. Chaudron, P. Siron, R. Leconte, and D. Saussié, Real-Time Distributed Aircraft Simulation through HLA, p.2012

, IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications, pp.251-254, 2012.

G. Lasnier, Towards a Distributed and Deterministic Framework to Design Cyber-Physical Systems, tech. rep., ISAE-Supaero, 2013.

M. U. Awais, P. Palensky, A. Elsheikh, E. Widl, and S. Matthias, The high level architecture RTI as a master to the functional mock-up interface components, 2013 International Conference on Computing, Networking and Communications (ICNC), pp.315-320, 2013.

, CERTI Home page, 2002.

C. Michel, J. Cardoso, and P. Siron, Time Management of Heterogeneous Distributed Simulation, Proceedings of the 31st
URL : https://hal.archives-ouvertes.fr/hal-01697206

, European Simulation and Modelling Conference (ESM)-Modelling and Simulation, pp.343-349, 2017.

A. Buss, Basic Event Graph Modeling, 2001.

P. D. Bruza and T. P. Van-der-weide, The Semantics of Data Flow Diagrams, Proceedings of the International Conference on Management of Data, pp.66-78, 1993.

J. Ferrante, The Program Dependence Graph and Its Use in Optimization, ACM Transactions on Programming Languages and Systems, vol.9, p.31, 1987.

G. Lasnier, J. Cardoso, P. Siron, C. Pagetti, and P. Derler, Distributed Simulation of Heterogeneous and Real-Time Systems, 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, pp.55-62, 2013.

J. Chaudron, D. Sauccié, P. Siron, and M. Adelantado, How to solve ODEs in real-time HLA distributed simulation, Simulation Innovation Workshop (SIW), p.13, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01399161