D. Souza, D. F. Wills, and A. C. , Objects, Components, and Frameworks with UML: The Catalysis(SM) Approach, 1998.

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 1998.

M. Aiguier, F. Boulanger, and B. Kanso, A formal abstract framework for modeling and testing complex software systems, Theoretical Computer Science (TCS), 2011.
URL : https://hal.archives-ouvertes.fr/hal-00802370

S. Maclane, Categories for the Working Mathematician, Graduate Texts in Mathematics, 1971.

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

L. Barbosa, Towards a Calculus of State-based Software Components, Journal of Universal Computer Science, vol.9, issue.8, pp.891-909, 2003.

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

G. H. Mealy, A method for synthesizing sequentiel circuits, Bell Systems Techn, Jour. journal, pp.167-6423, 1955.

R. Milner, A Calculus of Communicating Systems, 1982.
DOI : 10.1007/3-540-10235-3

J. Tretmans, Conformance testing with labelled transition systems: Implementation relations and test generation, Computer Networks and ISDN Systems, vol.29, issue.1, pp.49-79, 1996.
DOI : 10.1016/S0169-7552(96)00017-7

A. Petrenko and N. Yevtushenko, Testing from Partial Deterministic FSM Specifications, IEEE Transactions on Computers, vol.54, issue.9, p.11541165, 2005.
DOI : 10.1109/TC.2005.152

J. Tretmans, Test Generation with Inputs, Outputs and Repetitive Quiescence , Software-Concepts and Tools, pp.103-120, 1996.

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262

A. Faivre, C. Gaston, and P. L. Gall, Symbolic Model Based Testing for Component Oriented Systems, pp.90-106, 2007.
DOI : 10.1007/978-3-540-73066-8_7

A. Edward, P. Lee, and . Varaiya, Structure and interpretation of signals and systems, pp.1-647, 2003.

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

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

H. M. Van-der-bijl, A. Rensink, and J. Tretmans, Compositional Testing with ioco, FATES, A. Petrenko and A, pp.86-100, 2004.

S. Brookes and A. W. Roscoe, An improved failures model for communicating processes, Lecture Notes in Computer ScienceLNCS), vol.197, pp.281-305, 1984.
DOI : 10.1007/3-540-15670-4_14

A. Sampaio, S. Nogueira, and A. Mota, Compositional Verification of Input-Output Conformance via CSP Refinement Checking, In ICFEM, pp.20-48, 2009.
DOI : 10.1007/978-3-642-10373-5_2

C. Gaston, P. L. Gall, N. Rapin, and A. Touil, Symbolic Execution Techniques for Test Purpose Definition, pp.1-18, 2006.
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082

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

G. Bernot, Testing against formal specifications: A theoretical view, TAPSOFT'91: Proc. of the Intl. Joint Conference on Theory and Practice of Software Development, pp.99-119, 1991.
DOI : 10.1007/3540539816_63

J. Tretmans, A Formal Approach to Conformance Testing, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI, pp.257-276, 1994.