M. Arnold, Stability of Sequential Modular Time Integration Methods for Coupled Multibody System Models, Journal of Computational and Nonlinear Dynamics, vol.5, issue.3, 2010.
DOI : 10.1115/1.4001389

M. Arnold, C. Clauß, and T. Schierz, Error Analysis and Error Estimates for Cosimulation in FMI for Model Exchange and Co-Simulation v2, Progress in DifferentialAlgebraic Equations, pp.107-125, 2014.
DOI : 10.1007/978-3-662-44926-4_6

K. J. Aström and B. Wittenmark, Computer-controlled systems: theory and design, Courier Corporation, 2011.

M. Benedikt, D. Watzenig, J. Zehetner, and A. Hofer, NEPCE-A Nearly Energy Preserving Coupling Element for Weak-coupled Problems and Co-simulation, IV International Conference on Computational Methods for Coupled Problems in Science and Engineering, Coupled Problems, pp.1-12, 2013.

T. Blochwitz, M. Otter, M. Arnold, C. Bausch, C. Clauss et al., The Functional Mockup Interface for Tool independent Exchange of Simulation Models, International Modelica Conference, pp.105-114

T. Blockwitz, M. Otter, J. Akesson, M. Arnold, C. Clauss et al., Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models, 9th International Modelica Conference, pp.173-184, 2012.

D. Broman, C. Brooks, L. Greenberg, E. A. Lee, M. Masin et al., Determinate composition of FMUs for co-simulation, Eleventh ACM International Conference on Embedded Software, 2013.
DOI : 10.1109/emsoft.2013.6658580
URL : http://nma.berkeley.edu/ark:/28722/bk00148310n

D. Broman, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis et al., Requirements for Hybrid Cosimulation Standards, 18th International Conference on Hybrid Systems: Computation and Control, pp.179-188, 2015.
DOI : 10.1145/2728606.2728629
URL : http://dl.acm.org/ft_gateway.cfm?id=2728629&type=pdf

M. Busch, Continuous approximation techniques for co-simulation methods: Analysis of numerical stability and local error, ZAMM-Journal of Applied Mathematics and Mechanics, vol.96, issue.9, pp.1061-1081, 2016.
DOI : 10.1002/zamm.201500196

F. E. Cellier and E. Kofman, Continuous System Simulation, 2006.

E. M. Clarke and H. Veith, In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Lecture Notes in Computer Science, vol.2772, pp.208-224, 2003.

F. Cremona, M. Lohstroh, D. Broman, E. A. Lee, M. Masin et al., Hybrid co-simulation: it's about time. Software & Systems Modeling, 2017.
DOI : 10.1007/s10270-017-0633-6
URL : https://link.springer.com/content/pdf/10.1007%2Fs10270-017-0633-6.pdf

, FMI: Functional Mock-up Interface for Model Exchange and Co-Simulation, 2014.

P. Fritzson, P. Aronsson, A. Pop, H. Lundvall, K. Nystrom et al., Openmodelica-a free open-source environment for system modeling, simulation, and teaching, 2006 IEEE Conference on Computer Aided Control System Design, pp.1588-1595, 2006.

L. Gheorghe, F. Bouchhima, G. Nicolescu, and H. Boucheneb, A Formalization of Global Simulation Models for Continuous/Discrete Systems, Summer Computer Simulation Conference, pp.559-566, 2007.

C. Gomes, P. Karalis, E. M. Navarro-lópez, and H. Vangheluwe, Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios, 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, pp.345-360, 2017.

C. Gomes, B. Legat, R. M. Jungers, and H. Vangheluwe, Stable Adaptive Cosimulation : A Switched Systems Approach, IUTAM Symposium on CoSimulation and Solver Coupling, 2017.

C. Gomes, B. Meyers, J. Denil, C. Thule, K. Lausdahl et al., Semantic Adaptation for FMI Co-simulation with Hierarchical Simulators, pp.1-29, 2018.
DOI : 10.1177/0037549718759775

C. Gomes, C. Thule, D. Broman, P. G. Larsen, and H. Vangheluwe, Co-simulation: a Survey, ACM Computing Surveys, vol.51, issue.3, 2018.
DOI : 10.1145/3179993

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9
URL : https://doi.org/10.1016/0167-6423(87)90035-9

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

T. Kalmar-nagy and I. Stanciulescu, Can complex systems really be simulated? Applied Mathematics and Computation, vol.227, pp.199-211, 2014.
DOI : 10.1016/j.amc.2013.11.037
URL : https://scholarship.rice.edu/bitstream/1911/76291/5/manuscript-AMC.pdf

R. Kübler and W. Schiehlen, Modular Simulation in Multibody System Dynamics, Multibody System Dynamics, vol.4, issue.2-3, pp.107-127, 2000.

E. A. Lee, Cyber Physical Systems: Design Challenges, 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp.363-369, 2008.
DOI : 10.1109/isorc.2008.25
URL : http://nma.berkeley.edu/ark:/28722/bk0000n053t

P. Palensky, A. A. Van-der-meer, C. D. Lopez, A. Joseph, and K. Pan, Cosimulation of Intelligent Power Systems: Fundamentals, Software Architecture, Numerics, and Coupling, vol.11, pp.34-50, 2017.

S. Sadjina, L. T. Kyllingstad, S. Skjong, and E. Pedersen, Energy conservation and power bonds in co-simulations: non-iterative adaptive step size control and error estimation, Engineering with Computers, vol.33, issue.3, pp.607-620, 2017.
DOI : 10.1007/s00366-016-0492-8
URL : http://arxiv.org/pdf/1602.06434

S. Sadjina and E. Pedersen, Energy Conservation and Coupling Error Reduction in Non-Iterative Co-Simulations, 2016.
DOI : 10.1007/s00366-019-00783-4
URL : http://arxiv.org/pdf/1606.05168

B. Schweizer, P. Li, and D. Lu, Explicit and Implicit Cosimulation Methods: Stability and Convergence Analysis for Different Solver Coupling Approaches, Journal of Computational and Nonlinear Dynamics, vol.10, issue.5, p.51007, 2015.
DOI : 10.1115/1.4028503

S. Sicklinger, V. Belsky, B. Engelmann, H. Elmqvist, H. Olsson et al., Interface Jacobian-based Co-Simulation, International Journal for Numerical Methods in Engineering, vol.98, issue.6, pp.418-444, 2014.
DOI : 10.1002/nme.4637

C. Thule, K. Lausdahl, P. G. Larsen, and G. Meisl, Maestro: The into-cps cosimulation orchestration engine (2018), submitted to Simulation Modelling Practice and Theory
DOI : 10.15514/ispras-2016-28(2)-9
URL : http://ispras.ru/proceedings/docs/2016/28/2/isp_28_2016_2_139.pdf

T. Tomiyama, V. D'amelio, J. Urbanic, and W. Elmaraghy, Complexity of MultiDisciplinary Design, CIRP Annals-Manufacturing Technology, vol.56, issue.1, pp.185-188, 2007.

H. Van-der-auweraer, J. Anthonis, S. De-bruyne, and J. Leuridan, Virtual engineering at work: the challenges for designing mechatronic products, Engineering with Computers, vol.29, issue.3, pp.389-408, 2013.

H. Vangheluwe, J. De-lara, and P. J. Mosterman, An introduction to multi-paradigm modelling and simulation, AI, Simulation and Planning in High Autonomy Systems, pp.9-20, 2002.

F. Zhang, M. Yeddanapudi, and P. J. Mosterman, Zero-Crossing Location and Detection Algorithms For Hybrid System Simulation, IFAC Proceedings Volumes, vol.41, pp.7967-7972, 2008.
DOI : 10.3182/20080706-5-kr-1001.01346