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, 2012.
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, vol.218, issue.16, pp.8039-8055, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00782859

M. Aiguier, B. Golden, and D. Krob, An Adequate Logic for Heterogeneous Systems, 2013 18th International Conference on Engineering of Complex Computer Systems, pp.65-74, 2013.
DOI : 10.1109/ICECCS.2013.19
URL : https://hal.archives-ouvertes.fr/hal-00812339

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

A. Arnold and D. Niwinski, The µ-calculus over power set algebras, chapter Rudiments of µ-calculus, pp.141-153, 2001.

L. Barbosa, Components as Processes: An Exercise in Coalgebraic Modeling, Fourth International Conference on Formal Methods for Open Object-Oriented Distributed Systems (FMOODS00), volume 177 of IFIP Conference Proceedings, pp.397-417, 2000.
DOI : 10.1007/978-0-387-35520-7_20

L. Barbosa, Towards a calculus of state-based software components, Journal of Universal Computer Science, vol.9, issue.8, pp.891-909, 2003.

M. Barr and C. Wells, Category theory for computing science, 1995.

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

M. Bonsangue, J. M. Rutten, and A. Silva, Coalgebraic Logic and Synthesis of Mealy Machines, 11th International Conference on Foundations of Software Science and Computational Structures (FOSSACS), pp.231-245, 2008.
DOI : 10.1007/978-3-540-78499-9_17

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.

H. Ehrig and H. Kreowski, Algebraic Foundations of Systems Specification , IFIP State-of-the-Art Reports, chapter Refinement and implementation, pp.201-243, 1999.

J. L. Fiadeiro, Categories for Software Engineering, 2004.

H. Ichiro, B. Jacobs, and A. Sokolova, Generic trace semantics via coinduction, Logical Methods in Computer Science, vol.4, issue.11, 2007.

H. H. Hansen, D. Costa, and J. J. Rutten, Synthesis of Mealy Machines Using Derivatives, Electronic Notes in Theoretical Computer Science, vol.164, issue.1, pp.27-45, 2006.
DOI : 10.1016/j.entcs.2006.06.003

I. Hasuo, C. Heunen, B. Jacobs, and A. Sokolova, Coalgebraic Components in a Many-Sorted Microcosm, Third International Conference on Algebra and Coalgebra in Computer Science (CALCO09), pp.64-80, 2009.
DOI : 10.1016/j.entcs.2008.05.029

I. Hasuo, B. Jacobs, and A. Sokolova, The Microcosm Principle and Concurrency in Coalgebra, 11th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS08), pp.246-260, 2008.
DOI : 10.1007/978-3-540-78499-9_18

T. A. Henzinger and J. Sifakis, The Discipline of Embedded Systems Design, Computer, vol.40, issue.10, pp.32-40, 2007.
DOI : 10.1109/MC.2007.364

C. Hoare, Proof of correctness of data representations, Acta Informatica, vol.12, issue.4, pp.271-281, 1972.
DOI : 10.1007/BF00289507

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1985.
DOI : 10.1145/359576.359585

J. Hughes and B. Jacobs, Simulations in coalgebra, Theoretical Computer Science, vol.327, issue.1-2, pp.71-108, 2004.
DOI : 10.1016/j.tcs.2004.07.022

B. Jacobs and J. Rutten, A tutorial on coalgebras and coinduction, EATCS Bulletin, vol.62, pp.222-259, 1997.

B. Kanso, Modeling and testing of component-based systems, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00659305

B. Kanso, M. Aiguier, F. Boulanger, and C. Gaston, Testing of Component-Based Systems, 2012 19th Asia-Pacific Software Engineering Conference, 2012.
DOI : 10.1109/APSEC.2012.40
URL : https://hal.archives-ouvertes.fr/hal-00761610

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

D. Kozen, Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983.
DOI : 10.7146/dpb.v11i146.7420

A. Kurz, Coalgebras and modal logics. Notes of lectures given at ESSLLI'01, 2001.

E. A. Lee and S. A. Seshia, Introduction to Embedded Systems -A Cyber-Physical Systems Approach. Lee and Seshia, 2010.

S. and M. Lane, Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics, 1971.

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

S. Meng and L. S. Barbosa, Components as coalgebras: The refinement dimension, Theoretical Computer Science, vol.351, issue.2, pp.276-294, 2006.
DOI : 10.1016/j.tcs.2005.09.072

R. Milner, A calculus of communicating systems, 1982.
DOI : 10.1007/3-540-10235-3

R. Milner, Communication and concurrency, 1989.

E. Moggi, Notions of computation and monads. Information and Computation, pp.55-92, 1991.

D. Pattinson, Semantical Principles in the Modal Logic of Coalgebras, Proc. 18th Symposium on Theoretical Aspects of Computer Science, pp.514-526, 2001.
DOI : 10.1007/3-540-44693-1_45

J. 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

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

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

Y. Sergeyev, Numerical computations and mathematical modelling with infinite and infinitesimal numbers, Journal of Applied Mathematics and Computing, vol.27, issue.1, pp.177-195, 2009.
DOI : 10.1007/s12190-008-0123-7

J. Sifakis, A framework for component-based construction, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp.293-300, 2005.
DOI : 10.1109/SEFM.2005.3

A. Silva, M. M. Bonsangue, and J. J. Rutten, Non-Deterministic Kleene Coalgebras, Logical Methods in Computer Science, vol.6, issue.3, 2010.
DOI : 10.2168/LMCS-6(3:23)2010

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, 15th International Conference on Concurrency Theory, pp.512-528, 2004.
DOI : 10.2140/pjm.1955.5.285