F. Aiguier and A. Boulanger, Testing of abstract components, ICTAC, pp.184-198, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00782893

M. Aiguier, P. L. Gall, and M. Mabrouki, Emergent Properties in Reactive Systems, 2008 15th Asia-Pacific Software Engineering Conference, pp.273-280, 2008.
DOI : 10.1109/APSEC.2008.28

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

E. Moggi, Notions of computation and monads, Information and Computation, vol.93, issue.1, pp.55-92, 1991.
DOI : 10.1016/0890-5401(91)90052-4

G. H. Mealy, A method for synthesizing sequentiel circuits

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

L. Frantzen, J. Tretmans, and T. Willemse, A Symbolic Framework for Model-Based Testing Formal Approaches to Software Testing and Runtime Verification ? FATES, Lecture Notes in Computer Science, issue.4262, pp.40-54, 2006.

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

B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva, Symbolic Test Selection Based on Approximate Analysis, 11th Int. Conference on Tools and Algorithms for tthe Construction and Analysis of Systems(TACAS), pp.349-364, 2005.
DOI : 10.1007/978-3-540-31980-1_23
URL : https://hal.archives-ouvertes.fr/inria-00564617

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

T. J. Jard, 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

J. Tretmans, Testing labeled transition systems with inputs and outputs., in: The 8th International Workshop on Protocol Test Systems, pp.461-476, 1995.

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence, Software -Concepts and Tools, pp.103-120, 1996.

V. Rusu, L. D. Bousquet, and T. Jéron, An Approach to Symbolic Test Generation, IFM '00: Proceedings of the Second International Conference on Integrated Formal Methods, pp.338-357, 2000.
DOI : 10.1007/3-540-40911-4_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.9208

H. Van-der-bijl, A. Rensink, and G. Tretmans, Compositional Testing with ioco, Formal Approaches to Software Testing (FATES), pp.86-100, 2004.
DOI : 10.1007/978-3-540-24617-6_7

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

S. and M. Lane, Categories for the Working Mathematician, 1971.
DOI : 10.1007/978-1-4612-9839-7

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

M. Barr, Terminal coalgebras in well-founded set theory, Theoretical Computer Science, vol.114, issue.2, pp.299-315, 1993.
DOI : 10.1016/0304-3975(93)90076-6

E. Sontag, Mathematical control theory: deterministic finite dimensional systems, 1998.

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

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

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.

R. D. Nicola and M. C. Hennessy, Testing equivalences for processes, Theoretical Computer Science (TCS), vol.34, pp.1-2, 1984.

E. Brinksma, A theory for the derivation of tests, Proc. 8th Int. Conf. Protocol Specification, Testing, and Verification (PSTV VIII), pp.63-74, 1988.

R. Langerak, A testing theory for LOTOS using deadlock detection, Protocol Specification, Testing and Verification (PSTV), pp.87-98, 1989.

R. Milner, Communication and concurrency, 1989.

L. Briones and E. Brinksma, A Test Generation Framework for quiescent Real-Time Systems, pp.64-78, 2004.
DOI : 10.1007/978-3-540-24732-6_8

S. Nogueira, A. Sampaio, and A. Mota, Guided Test Generation from CSP Models, Proceedings of the 5th international colloquium on Theoretical Aspects of Computing, pp.258-273, 2008.
DOI : 10.1007/978-3-540-85762-4_18

A. W. Heerink and G. J. Tretmans, Refusal testing for classes of transition systems with inputs and outputs, Proceedings of the IFIP TC6 WG6.1 Joint Intl. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII) of IFIP Conference Proceedings, pp.23-38, 1997.
DOI : 10.1007/978-0-387-35271-8_2

M. Van-osch, Hybrid Input-Output Conformance and Test Generation, Formal Approaches to Software Testing and Runtime Verification, pp.70-84, 2006.
DOI : 10.1007/11940197_5

J. Fernandez, C. Jard, T. Jéron, L. Nedelka, and C. Viho, Using on-the-fly verification techniques for the generation of test suites, 1996.
DOI : 10.1007/3-540-61474-5_82
URL : https://hal.archives-ouvertes.fr/inria-00073711

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, vol.84, issue.8
DOI : 10.1109/5.533956

A. Sampaio, S. Nogueira, and A. Mota, Compositional Verification of Input-Output Conformance via CSP Refinement Checking, ICFEM '09: Proceedings of the 11th International Conference on Formal Engineering Methods, pp.20-48, 2009.
DOI : 10.1007/978-3-642-10373-5_2

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

N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-vincentelli, Sequential synthesis by language equation solving, International Workshop on Logic and Synthesis

A. Petrenko and N. Yevtushenko, Solving asynchronous equations The Netherlands, The Netherlands, Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), FORTE XI / PSTV XVIII '98, pp.231-247, 1998.

L. Briones, C. Pasareanu, and D. Giannakopoulou, Work-in-progress assume-guarantee reasoning with ioco, 2004.

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

S. Meng and B. K. Aichernig, A coalgebraic calculus for component based systems, Proceedings of FACS'03, Workshop on Formal Aspects of Component Software, Satellite Workshop of the FM

I. Hasuo, B. Jacobs, and A. Sokolova, The Microcosm Principle and Concurrency in Coalgebra, 2007.
DOI : 10.1007/978-3-540-78499-9_18

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

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

J. A. Goguen and R. M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.
DOI : 10.1145/147508.147524

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