P. Aczel and N. Mendler, A final coalgebra theorem, Proceedings category in computer science, pp.357-365, 1989.
DOI : 10.1007/BFb0018361

M. Aiguier, F. Boulanger, and B. Kanso, A formal abstract framework for modelling and testing complex software systems, Theoretical Computer Science, vol.455, pp.66-97, 2011.
DOI : 10.1016/j.tcs.2011.12.072
URL : https://hal.archives-ouvertes.fr/hal-00782372

M. Aiguier, B. Golden, and D. Krob, Modeling of complex systems ii: A minimalist and unified semantics for heterogeneous integrated systems, Applied Mathematics and Computation, issue.16, pp.218-2012
URL : https://hal.archives-ouvertes.fr/hal-00782859

E. Alesken and R. Belcher, Systems Engineering, 1992.

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

S. Bliudze and D. Krob, Modeling of complex systems systems as data-flow machines, Fundamenta Informaticae, vol.91, pp.1-24, 2009.

J. Bradfield and C. Stirling, Modal mu-calculi, Handbook of Modal Logic, pp.721-756, 2007.
DOI : 10.1016/s1570-2464(07)80015-2

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

J. Harthong, une théorie du continu, La mathématique non standard, pp.307-329, 1989.

R. Kashima and K. Okamoto, General Models and Completeness of First-Order Modal ??-calculus, Journal of Logic and Computation, vol.18, issue.4, pp.497-507, 2008.
DOI : 10.1093/logcom/exm077

J. Lygeros, Lecture notes on hybrid systems, 2004.

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

]. 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. Robinson, Non-standard analysis, 1974.

J. Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000.
DOI : 10.1016/S0304-3975(00)00056-6

J. Rutten, Algebraic Specification and Coalgebraic Synthesis of Mealy Automata, International Workshop on Formal Aspects of Component Software (FACS 2005), pp.305-319, 2006.
DOI : 10.1016/j.entcs.2006.05.030

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

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

W. Turner, J. Mize, K. Case, and J. Nazemeth, Introduction to industrial and systems engineering, 1993.

M. Viswanathan and R. Viswanathan, A Higher Order Modal Fixed Point Logic, CONCUR 2004 -Concurrency Theory, pp.512-528, 2004.
DOI : 10.2140/pjm.1955.5.285