R. Milner, Communication and Concurrency, 1989.

D. Park, Concurrency and automata on infinite sequences, Proceedings of the 5th GI-Conference on Theoretical Computer Science, pp.167-183, 1981.
DOI : 10.1007/BFb0017309

D. Sangiorgi, Introduction to Bisimulation and Coinduction, 2011.
DOI : 10.1017/CBO9780511777110

URL : https://hal.archives-ouvertes.fr/hal-00907026

D. Sangiorgi, On the origins of bisimulation and coinduction, ACM Transactions on Programming Languages and Systems, vol.31, issue.4, pp.1-1541, 2009.
DOI : 10.1145/1516507.1516510

D. Sangiorgi, On the bisimulation proof method, Mathematical Structures in Computer Science, vol.8, issue.5, pp.447-479, 1998.
DOI : 10.1017/S0960129598002527

J. Shi, J. Wan, H. Yan, and H. Suo, A survey of Cyber-Physical Systems, 2011 International Conference on Wireless Communications and Signal Processing (WCSP), pp.1-6, 2011.
DOI : 10.1109/WCSP.2011.6096958

R. Baheti and H. Gill, Cyber-physical systems, The Impact of Control Technology, pp.161-166, 2011.

E. Lee and S. Seshia, Introduction to embedded systems: A cyber-physical systems approach, Lulu.com, 2013.
DOI : 10.1145/1719010.1719011

J. Sifakis, Rigorous design of cyber-physical systems, 2012 International Conference on Embedded Computer Systems (SAMOS), pp.319-319, 2012.
DOI : 10.1109/SAMOS.2012.6404193

O. Bouissou and A. Chapoutot, An operational semantics for Simulink's simulation engine, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, pp.129-138, 2012.
DOI : 10.1145/2248418.2248437

. Simulink, Simulation and Model-Based Design. http://www.mathworks.com/products/simulink 12. SCADE Suite

S. Campbell, J. P. Chancelier, and R. Nikoukhah, Modeling and Simulation in Scilab/Scicos with ScicosLab 4, 2005.
DOI : 10.1007/978-1-4419-5527-2

P. Feiler, D. Gluch, and J. Hudak, The architecture analysis & design language (AADL): An introduction, 2006.

R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.971-984, 2000.
DOI : 10.1109/5.871304

G. Pappas, Bisimilar linear systems, Automatica, vol.39, issue.12, pp.2035-2047, 2003.
DOI : 10.1016/j.automatica.2003.07.003

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.3004

A. Van-der-schaft, Equivalence of Dynamical Systems by Bisimulation, IEEE Transactions on Automatic Control, vol.49, issue.12, pp.2160-2172, 2004.
DOI : 10.1109/TAC.2004.838497

A. Schaft-van-der, Equivalence of hybrid dynamical systems, Proceedings of the Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004.

A. Julius and A. Van-der-schaft, Bisimulation as congruence in the behavioral setting, Proceedings of the 44th IEEE Conference on Decision and Control, 2005.
DOI : 10.1109/CDC.2005.1582257

G. Pola, A. Schaft-van-der, D. Benedetto, and M. , Equivalence of switching linear systems by bisimulation, International Journal of Control, vol.4, issue.1, pp.74-92, 2006.
DOI : 10.1109/TAC.2004.838497

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.508.9061

A. Schmuck and J. Raisch, Simulation and bisimulation over multiple time scales in a behavioral setting, 22nd Mediterranean Conference on Control and Automation, p.3484, 2014.
DOI : 10.1109/MED.2014.6961425

URL : http://hdl.handle.net/11858/00-001M-0000-0024-3EF4-E

P. J. Cuijpers and M. A. Reniers, Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions, Hybrid Systems: Computation and Control, pp.116-129, 2008.
DOI : 10.1007/978-3-540-78929-1_9

J. Polderman and J. Willems, Introduction to mathematical systems theory: a behavioral approach, 1997.
DOI : 10.1007/978-1-4757-2953-5

E. Haghverdi, P. Tabuada, and G. Pappas, Unifying bisimulation relations for discrete and continuous systems, Proceedings of the International Symposium MTNS2002, South, 2002.

E. Haghverdi, P. Tabuada, and G. Pappas, Bisimulation relations for dynamical, control, and hybrid systems, Theoretical Computer Science, vol.342, issue.2-3, pp.229-261, 2005.
DOI : 10.1016/j.tcs.2005.03.045

URL : http://doi.org/10.1016/j.tcs.2005.03.045

J. Davoren and P. Tabuada, On Simulations and Bisimulations of General Flow Systems, Hybrid Systems: Computation and Control, 10th International Workshop, pp.145-158, 2007.
DOI : 10.1007/978-3-540-71493-4_14

S. Tripakis and S. Yovine, Analysis of timed systems using time-abstracting bisimulations . Form, Formal Methods in System Design, vol.18, issue.1, pp.25-68, 2001.
DOI : 10.1023/A:1008734703554

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4253

I. Ivanov, A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems, Communications in Computer and Information Science (CCIS), vol.347, pp.111-130, 2012.
DOI : 10.1007/978-3-642-35737-4_7

I. Ivanov, On Representations of Abstract Systems with Partial Inputs and Outputs, Lecture Notes in Computer Science, vol.8402, pp.104-123, 2014.
DOI : 10.1007/978-3-319-06089-7_8

I. Ivanov, M. Nikitchenko, and U. Abraham, On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems, Communications in Computer and Information ScienceCCIS), pp.469-78, 2014.
DOI : 10.1007/978-3-319-13206-8_4

I. Ivanov, An abstract block formalism for engineering systems, of CEUR Workshop Proceedings., CEUR-WS.org, pp.448-463, 2013.

I. Ivanov, On Existence of Total Input-Output Pairs of Abstract Time Systems, Communications in Computer and Information ScienceCCIS), vol.412, pp.308-331, 2013.
DOI : 10.1007/978-3-319-03998-5_16

O. Hájek, Theory of processes, I, Czechoslovak Mathematical Journal, vol.17, pp.159-199, 1967.

O. Hájek, Theory of processes, II, Czechoslovak Mathematical Journal, vol.17, issue.3, pp.372-398, 1967.

R. Alur, C. Courcoubetis, and D. Dill, Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993.
DOI : 10.1006/inco.1993.1024

URL : http://doi.org/10.1006/inco.1993.1024

D. Liberzon, Switching in Systems and Control (Systems & Control: Foundations & Applications), 2003.

R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. H. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

R. Goebel, R. G. Sanfelice, and A. Teel, Hybrid dynamical systems, IEEE Control Systems, vol.29, issue.2, pp.28-93, 2009.
DOI : 10.1109/MCS.2008.931718