R. Alur, C. Courcoubetis, N. Halbwachs, T. A. 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. Alur, C. Courcoubetis, T. Henzinger, P. H. Ho, X. Nicollin et al., The algorithmic analysis of hybrid systems, International Conference on Analysis and Optimization of Systems?Discrete-Event Systems, Lecture Notes in Control and Information Sciences, pp.331-351, 1994.

J. Bacon and J. V. Linden, Concurrent Systems: An Integrated Approach to Operating Systems, Distributed Systems and Database, 2002.

G. Berry, The foundations of Esterel, 2000.

B. S. Blanchard and W. J. Fabrycky, Systems engineering and analysis, 1998.

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

O. Bournez and M. L. Campagnolo, New computational paradigms. changing conceptions of what is computable, New Computational Paradigms. Changing Conceptions of What is Computable, pp.383-423, 2008.

M. Broy and G. Stef?, The algebra of stream processing functions, Theoretical Computer Science, vol.258, issue.1-2, pp.99-129, 2001.
DOI : 10.1016/S0304-3975(99)00322-9

M. Broy and K. Stølen, Specification and development of interactive systems: focus on streams, interfaces, and refinement, 2001.
DOI : 10.1007/978-1-4613-0091-5

D. Cha, J. Rosenberg, and C. Dym, Fundamentals of Modeling and Analysing Engineering Systems, 2000.

A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups, Math. Surveys Amer. Math. Soc., R.I, vol.7, 1961.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, volume 79. [17] J. Harthong, ´ eléments pour une théorie du continu, pp.110-235, 1983.
DOI : 10.1109/5.97300

G. Kahn, The semantics of a simple language for parallel programming Information processing, pp.471-475, 1974.

P. Kosiuczenko and M. Wirsing, Timed rewriting logic with an application to object-based specification, Science of Computer Programming, vol.28, issue.2-3, pp.225-246, 1997.
DOI : 10.1016/S0167-6423(96)00024-X

D. Krob, Modelling of Complex Software Systems: A Reasoned Overview, Formal Techniques for Networked and Distributed Systems -FORTE 2006, pp.1-22, 2006.
DOI : 10.1007/978-3-662-10778-2

J. Lygeros, Lecture notes on hybrid systems, in: Notes for an ENSIETA Workshop

M. W. Maier and E. Rechtin, The art of system architecturing, 2002.

G. H. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

E. Nelson, Internal set theory: A new approach to nonstandard analysis, Bulletin of the American Mathematical Society, vol.83, issue.6, pp.1165-1198, 1977.
DOI : 10.1090/S0002-9904-1977-14398-X

A. Rabinovitch, Automata over continuous time, Theoretical Computer Science, vol.300, issue.1-3, pp.331-363, 2003.
DOI : 10.1016/S0304-3975(02)00331-6

F. Robert, Les systèmes dynamiques discrets, Mathématiques et Applications, vol.19, 1994.

A. Robinson, Non-standard analysis, 1974.

A. P. Sage and J. E. Amstrong, Introduction to system engineering, 2000.

Y. Sergeyev, A new applied approach for executing computations with infinite and infinitesimal quantities, Informatica, vol.19, pp.567-596, 2008.

E. Sontag, Mathematical Control Theory: Deterministic Finite Dimensional Systems, Textbooks in Applied Mathematics, vol.6, 1998.

B. Trakhtenbrot, Understanding basic automata theory in the continuous time setting, Fundam, Inform, vol.62, 2003.

B. P. Zeigler, H. Praehofer, and K. T. Gon, Theory of Modeling and Simulation ? Integrating Discrete Event and Continuous Complex Dynamic Systems, 2000.