S. Abramsky, Observation equivalence as a testing equivalence, Theoretical Computer Science, vol.53, issue.2-3, pp.225-241, 1987.
DOI : 10.1016/0304-3975(87)90065-X
URL : http://doi.org/10.1016/0304-3975(87)90065-x

L. De-alfaro, Game Models for Open Systems, Lecture Notes in Computer Science, vol.2772, pp.269-289, 2003.
DOI : 10.1007/978-3-540-39910-0_12

R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi, Alternating refinement relations, Lecture Notes in Computer Science, vol.1466, pp.163-178, 1998.
DOI : 10.1007/BFb0055622
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1421

A. Belinfante, JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution, TACAS. Lecture Notes in Computer Science, vol.6015, pp.266-270, 2010.
DOI : 10.1007/978-3-642-12002-2_21

T. S. Chow, Testing Software Design Modeled by Finite-State Machines, IEEE Transactions on Software Engineering, vol.4, issue.3, pp.178-187, 1978.
DOI : 10.1109/TSE.1978.231496

L. M. Feijs, N. Goga, S. Mauw, and J. Tretmans, Test Selection, Trace Distance and Heuristics, TestCom. IFIP Conference Proceedings, pp.267-282, 2002.
DOI : 10.1007/978-0-387-35497-2_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.5077

D. De-frutos-escrig, C. Gregorio-rodríguez, and M. Palomino, On the Unification of Process Semantics: Equational Semantics, Electronic Notes in Theoretical Computer Science, vol.249, pp.243-267, 2009.
DOI : 10.1016/j.entcs.2009.07.093

D. De-frutos-escrig and C. Gregorio-rodríguez, (Bi)simulations up-to characterise process semantics, Information and Computation, vol.207, issue.2, pp.146-170, 2009.
DOI : 10.1016/j.ic.2007.12.003

R. J. Van-glabbeek, Handbook of Process Algebra, chap. The Linear Time ? Branching Time Spectrum I, pp.3-99, 2001.

R. J. Van-glabbeek and B. Ploeger, Correcting a Space-Efficient Simulation Algorithm, Lecture Notes in Computer Science, vol.5123, pp.517-529, 2008.
DOI : 10.1007/978-3-540-70545-1_49

M. Hennessy, Algebraic Theory of Processes, 1988.

R. M. Hierons, J. P. Bowen, and M. Harman, Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, Lecture Notes in Computer Science, vol.4949, 2008.

R. Milner, An algebraic definition of simulation between programs, Proceedings 2nd Joint Conference on Artificial Intelligence, pp.481-489, 1971.

R. Milner, Communication and Concurrency, 1989.

R. D. Nicola and M. Hennessy, Testing equivalences for processes, Theoretical Computer Science, vol.3412, pp.83-133, 1984.

F. Ranzato and F. Tapparo, A New Efficient Simulation Equivalence Algorithm, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp.171-180, 2007.
DOI : 10.1109/LICS.2007.8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.535

R. Hernández, D. , F. Escrig, and D. , Defining Distances for All Process Semantics, Formal Techniques for Distributed Systems, pp.169-185, 2012.
DOI : 10.1007/978-3-642-30793-5_11

G. Stokkink, M. Timmer, and M. Stoelinga, Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation, MBT. EPTCS, pp.73-87, 2012.
DOI : 10.4204/EPTCS.80.6
URL : http://arxiv.org/abs/1202.6124

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence. Software -Concepts and Tools, pp.103-120, 1996.
DOI : 10.1007/3-540-61042-1_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9528

J. Tretmans and . Hierons, Model Based Testing with Labelled Transition Systems, pp.1-38
DOI : 10.1007/978-3-540-78917-8_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.621

J. Tretmans and E. Brinksma, Torx: Automated model-based testing, First European Conference on Model-Driven Software Engineering, pp.31-43, 2003.

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches, Software Testing, Verification and Reliability, vol.30, issue.4, pp.297-312, 2012.
DOI : 10.1002/stvr.456
URL : https://hal.archives-ouvertes.fr/hal-00940611

M. Veanes and N. Bjørner, Alternating Simulation and IOCO, ICTSS. Lecture Notes in Computer Science, vol.6435, pp.47-62, 2010.
DOI : 10.1007/978-3-642-16573-3_5
URL : https://hal.archives-ouvertes.fr/hal-01055244

M. Veanes, C. Campbell, W. Grieskamp, W. Schulte, N. Tillmann et al., Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer, pp.39-76
DOI : 10.1007/978-3-540-78917-8_2