R. Alur, Principles of cyber-physical systems, 2015.

U. Ascher, H. Chin, L. Petzold, and S. Reich, Stabilization of Constrained Mechanical Systems with DAEs and Invariant Manifolds, Mechanics of Structures and Machines, vol.23, issue.2, pp.135-157, 1995.
DOI : 10.1007/978-3-662-09947-6

A. Basu, M. Bozga, J. Sifakis, A. Basu, S. Bensalem et al., Modeling heterogeneous real-time components in BIP Rigorous component-based system design using the BIP framework, th IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM06), pp.3-1241, 1109.

J. Baumgarte, Stabilization of constraints and integrals of motion in dynamical systems, Computer Methods in Applied Mechanics and Engineering, vol.1, issue.1, pp.1-1690018, 1972.
DOI : 10.1016/0045-7825(72)90018-7

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Guernic et al., The synchronous languages twelve years later, Proc of the IEEE, Special Issue on Embedded Systems, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/jproc.2002.805826
URL : http://www.cs.columbia.edu/~sedwards/papers/benveniste2003synchronous.pdf

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Non-standard semantics of hybrid systems modelers, Journal of Computer and System Sciences, vol.78, issue.3, pp.877-910, 2012.
DOI : 10.1016/j.jcss.2011.08.009
URL : https://hal.archives-ouvertes.fr/hal-00766726

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Hybrid systems modeling challenges caused by cyberphysical systems Cyber-Physical Systems (CPS) Foundations and Challenges , to appear. Available on-line, 2013.

C. Berger and M. Mousavi, Cyber Physical Systems. Design, Modeling, and Evaluation -5th International Workshop The Netherlands, Proceedings, Lecture Notes in Computer Science, vol.9361, pp.978-981, 2015.

S. Bliudze and S. Furic, An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction, Proceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden, pp.693-706, 2014.
DOI : 10.3384/ecp14096693
URL : http://www.bliudze.me/simon/articles/BliudzeFuric-modelica14.pdf

S. Bliudze and D. Krob, Modelling of complex systems: Systems as dataflow machines, Fundamenta Informaticae, vol.91, pp.1-24, 2009.

S. Bliudze and J. Sifakis, The Algebra of Connectors???Structuring Interaction in BIP, Proceedings of the EMSOFT'07, pp.11-20, 2007.
DOI : 10.1109/TC.2008.26
URL : https://hal.archives-ouvertes.fr/hal-00282866

T. Blochwitz, M. Otter, M. Arnold, C. Bausch, H. Elmqvist et al., The Functional Mockup Interface for Tool independent Exchange of Simulation Models, Proceedings from the 8th International Modelica Conference, Technical Univeristy, Dresden, Germany, pp.105-114, 2011.
DOI : 10.3384/ecp11063105

S. Bornot and J. Sifakis, An Algebraic Framework for Urgency, Information and Computation, vol.163, issue.1, pp.172-202, 2000.
DOI : 10.1006/inco.2000.2999
URL : https://doi.org/10.1006/inco.2000.2999

M. Bozga, V. Sfyrla, and J. Sifakis, Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.77-86, 2009.
DOI : 10.1145/1629335.1629347
URL : https://hal.archives-ouvertes.fr/hal-00722479

D. Broman, C. Brooks, L. Greenberg, E. Lee, M. Masin et al., Determinate composition of FMUs for co-simulation, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-2, 2013.
DOI : 10.1109/EMSOFT.2013.6658580

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, Lustre: A declarative language for programming synchronous systems, Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pp.178-188, 1987.
DOI : 10.1145/41625.41641

F. Cellier, E. Kofman, F. Cellier, E. Kofman, G. Migoni et al., Continuous system simulation Quantized state system simulation, Proceedings of Grand Challenges in Modeling and Simulation (GCMS08), pp.504-510, 2006.

J. Dabney, T. Harman, /. Pearson, P. Prentice-hall-derler, E. Lee et al., Mastering Simulink Modeling cyber-physical systems, Proceedings of the IEEE, vol.100, issue.1, pp.13-28, 2004.

J. Fitzgerald, C. Gamble, P. Larseny, K. Pierce, and J. Woodcock, Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, pp.40-4614, 2015.
DOI : 10.1109/FormaliSE.2015.14

P. Fritzson, Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica, 2011.
DOI : 10.1002/9781118094259

S. Furic, Connection semantics: Overview of some classical approaches & proposal for a novel one, 2013.

S. Furic, Physical connection proposal for the FMI. Tech. rep., FMI design meeting, 2015.

S. Furic, . Sim@sl, and . Ens-cachan, A physical connection proposal for the FMI Automatic multirate methods for ordinary differential equations, Paris Gear CW, 1980.

E. Geisberger and M. Broy, Living in a networked world: Integrated research agenda Cyber-Physical Systems (agendaCPS). acatech STUDIE, Utz Verlag GmbH Henzinger TA (2000) The theory of hybrid automata The physical basis of analogies in network models of physical system dynamics, pp.1-10, 2002.

D. Karnopp, D. Margolis, and R. Rosenberg, System dynamics: modeling, simulation, and control of mechatronic systems, 2012.
DOI : 10.1002/9781118152812

M. Kone?n´kone?n´y, W. Taha, F. Bartha, J. Duracz, A. Duracz et al., Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point, Nonlinear Analysis: Hybrid Systems, vol.20, pp.1-20, 2016.
DOI : 10.1016/j.nahs.2015.10.004

R. Kübler and W. Schiehlen, Two Methods of Simulator Coupling, Mathematical and Computer Modelling of Dynamical Systems, vol.6, issue.2, pp.93-113, 2000.
DOI : 10.1076/1387-3954(200006)6:2;1-M;FT093

J. Lamb, G. Asher, and D. Woodall, Network realisation of bond graphs, Proceedings of International Conference on Bond Graph Modeling (ICBGM '93), Society for Computer Simulation, pp.85-90, 1993.

E. Lee, Cyber physical systems: Design challenges In: Object Oriented Real-Time Distributed Computing (ISORC), 11th IEEE International Symposium on, pp.363-369, 2008.

E. Lee, Constructive Models of Discrete and Continuous Physical Phenomena, IEEE Access, vol.2, pp.797-821, 2014.
DOI : 10.1109/ACCESS.2014.2345759
URL : http://ieeexplore.ieee.org:80/stamp/stamp.jsp?tp=&arnumber=6873221

E. Lee and H. Zheng, Operational Semantics of Hybrid Systems, Lecture Notes in Computer Science, vol.3414, pp.25-53, 2005.
DOI : 10.1007/978-3-540-31954-2_2

E. Lelarasmee, A. Ruehli, and A. Sangiovanni-vincentelli, The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.1, issue.3, pp.131-1451270004, 1982.
DOI : 10.1109/TCAD.1982.1270004

T. Lindstrøm and E. Lee, An invitation to nonstandard analysis Nonstandard Analysis and its Applications, no On fixed points of strictly causal functions. In: Formal Modeling and Analysis of Timed Systems, pp.183-197, 1988.

S. Mattsson, H. Olsson, and H. Elmqvist, Dynamic Selection of States in Dymola, Proceedings of Modelica Workshop, pp.61-67, 2000.

A. Perelson and G. Oster, Bond graphs and linear graphs, Journal of the Franklin Institute, vol.302, issue.2, pp.159-185, 1976.
DOI : 10.1016/0016-0032(76)90021-1

R. Rajkumar, I. Lee, L. Sha, and J. Stankovic, Cyber-physical systems, Proceedings of the 47th Design Automation Conference on, DAC '10, pp.731-736, 2010.
DOI : 10.1145/1837274.1837461

A. Robinson, Non Standard Analysis Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems, North Holland Rust H Lecture Notes in Computer Science, vol.3456, 1966.

V. Sfyrla, G. Tsiligiannis, I. Safaka, M. Bozga, and J. Sifakis, Compositional translation of simulink models into synchronous BIP, International Symposium on Industrial Embedded System (SIES), pp.217-220, 2010.
DOI : 10.1109/SIES.2010.5551374
URL : https://hal.archives-ouvertes.fr/hal-00558040

J. Sifakis, System Design Automation: Challenges and Limitations, Proceedings of the IEEE, vol.103, issue.11, pp.2093-2103, 2015.
DOI : 10.1109/JPROC.2015.2484060

J. Sztipanovits, T. Bapty, S. Neema, X. Koutsoukos, and E. Jackson, Design tool chain for cyber-physical systems, Proceedings of the 52nd Annual Design Automation Conference on, DAC '15, pp.1-62747922, 2015.
DOI : 10.1007/978-3-540-68855-6_1
URL : http://dl.acm.org/ft_gateway.cfm?id=2747922&type=pdf

B. Tellegen, A general network theorem, with applications, Philips Research Reports, vol.7, issue.4, pp.259-269, 1952.

H. Trent, Isomorphisms between Oriented Linear Graphs and Lumped Physical Systems, The Journal of the Acoustical Society of America, vol.27, issue.3, pp.500-527, 1955.
DOI : 10.1121/1.1907949

S. Tripakis, Bridging the semantic gap between heterogeneous modeling formalisms and FMI, 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), pp.60-69, 2015.
DOI : 10.1109/SAMOS.2015.7363660

A. Vladimirescu, M. Walther, V. Waurich, and C. Schubert, The SPICE Book Dr-Ing GubschBliudze I (2014) Equation based parallelization of modelica models, Proceedings of the 10th International Modelica Conference Linköping Electronic Conference Proceedings, pp.1213-1220, 1993.

W. Wolf and . Doi, Cyber-physical Systems, Computer, vol.42, issue.3, pp.88-89, 2009.
DOI : 10.1109/MC.2009.81

B. Zeigler and J. Lee, <title>Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment</title>, Enabling Technology for Simulation Science II, pp.49-58, 1998.
DOI : 10.1117/12.319354

H. Zheng, E. Lee, and A. Ames, Beyond Zeno: Get on with It! In Hybrid Systems: Computation and Control: 9th International Workshop, Proceedings, pp.568-582, 2006.