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

L. Aceto, D. De-frutos-escrig, C. Gregorio-rodríguez, and A. Ingolfsdottir, Axiomatizing weak simulation semantics over BCCSP, Theoretical Computer Science, 2013.
DOI : 10.1016/j.tcs.2013.03.013
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.592

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

B. Bloom, S. Istrail, and A. R. Meyer, Bisimulation can't be traced, Journal of the ACM, vol.42, issue.1, pp.232-268, 1995.
DOI : 10.1145/200836.200876
URL : http://ecommons.cornell.edu/bitstream/1813/6990/1/90-1150.pdf

E. Peter, T. Bulychev, A. Chatain, K. David, and . Larsen, Efficient on-the-fly algorithm for checking alternating timed simulation, LNCS, vol.5813, pp.73-87, 2009.

D. Bustan and O. Grumberg, Simulation-based minimization, ACM Transactions on Computational Logic, vol.4, issue.2, pp.181-206, 2003.
DOI : 10.1145/635499.635502

S. Cranen, J. Groote, J. A. Keiren, F. M. Stappers, . Erikp et al., An Overview of the mCRL2 Toolset and Its Recent Advances, Tools and Algorithms for the Construction and Analysis of Systems, pp.199-213, 2013.
DOI : 10.1007/978-3-642-36742-7_15

C. David-de-frutos-escrig, M. Gregorio-rodríguez, D. Palomino, and . Romero-hernández, Unifying the Linear Time-Branching Time Spectrum of Process Semantics, Logical Methods in Computer Science, vol.9, issue.2, pp.1-74, 2013.
DOI : 10.2168/LMCS-9(2:11)2013

G. René, J. De-vries, and . Tretmans, On-the-fly conformance testing using spin, STTT, vol.2, issue.4, pp.382-393, 2000.

I. Fábregas, D. De-frutos-escrig, and M. Palomino, Logics for Contravariant Simulations, LNCS, vol.6117, pp.224-231, 2010.
DOI : 10.1007/978-3-642-13464-7_18

R. Gentilini, C. Piazza, and A. Policriti, From bisimulation to simulation: Coarsest partition problems, Journal of Automated Reasoning, vol.31, issue.1, pp.73-103, 2003.
DOI : 10.1023/A:1027328830731

C. Gregorio-rodríguez, L. Llana, and R. Martínez-torres, Input-Output Conformance Simulation (iocos) for Model Based Testing, LNCS, vol.7892, pp.114-129, 2013.
DOI : 10.1007/978-3-642-38592-6_9

C. Paris, S. A. Kanellakis, and . Smolka, CCS expressions, finite state processes , and three problems of equivalence, Information and Computation, vol.86, issue.1, pp.43-68, 1990.

T. Joost-pieter-katoen, I. Kemna, . Zapreev, . Davidn, and . Jansen, Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking, Tools and Algorithms for the Construction and Analysis of Systems, pp.87-101, 2007.
DOI : 10.1007/978-3-540-71209-1_9

M. Kim-guldstrand-larsen, B. Mikucionis, and . Nielsen, Online testing of real-time systems using UPPAAL, LNCS, vol.3395, pp.79-94, 2004.

L. Llana and R. Martínez-torres, IOCO as a Simulation, 3rd Workshop on Formal Methos in the Development of Software, WS-FMDS 2013, 2013.
DOI : 10.1007/978-3-319-05032-4_10

G. Lüttgen and W. Vogler, Ready simulation for concurrency: It's logical! Information and Computation, pp.845-867, 2010.

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

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

P. Rabanal, I. Rodríguez, and F. Rubio, Testing restorable systems: formal definition and heuristic solution based on river formation dynamics, Formal Aspects of Computing, vol.29, issue.4, pp.743-768, 2013.
DOI : 10.1007/s00165-011-0206-3

F. Ranzato, A More Efficient Simulation Algorithm on Kripke Structures, MFCS, pp.753-764, 2013.
DOI : 10.1007/978-3-642-40313-2_66

J. Larry, A. R. Stockmeyer, and . Meyer, Word problems requiring exponential time: Preliminary report, STOC, pp.1-9, 1973.

G. Stokkink, M. Timmer, and M. Stoelinga, Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation, Electronic Proceedings in Theoretical Computer Science, vol.80, pp.73-87, 2012.
DOI : 10.4204/EPTCS.80.6

J. Tretmans, Model Based Testing with Labelled Transition Systems, Lecture Notes in Computer Science, vol.4949, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

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

R. J. Van-glabbeek, Handbook of Process Algebra, chapter The Linear Time ? Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes, pp.3-99, 2001.

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

M. Veanes, C. Campbell, W. Schulte, and N. Tillmann, Online testing with model programs, ESEC/SIGSOFT FSE, pp.273-282, 2005.