A. Antonik, M. Huth, K. Larsen, U. Nyman, and A. Wasowski, 20 Years of Mixed and Modal Specifications, Bulletin of the European Association for Theor. Comput. Sci, 2008.

N. Benes, J. Kretínsk´kretínsk´y, K. G. Larsen, and J. Srba, On determinism in modal transition systems, Theor. Comput. Sci, issue.41, pp.4104026-4043, 2009.

C. C??rsteac??rstea, A modular approach to defining and characterising notions of simulation, Information and Computation, vol.204, issue.4, pp.469-502, 2006.
DOI : 10.1016/j.ic.2005.04.005

L. De-alfaro and T. A. Henzinger, Interface automata, ESEC / SIGSOFT FSE, pp.109-120, 2001.

D. De-frutos-escrig, C. Gregorio-rodríguez, and M. Palomino, On the unification of semantics for processes: observational semantics, SOFSEM 09, Proceedings, pp.279-290, 2009.

D. De-frutos-escrig, F. R. Velardo, and C. Gregorio-rodríguez, New Bisimulation Semantics for Distributed Systems, FORTE 2007, Proceedings, LNCS 4547, pp.143-159, 2007.
DOI : 10.1016/j.tcs.2006.03.004

I. Fábregas, D. De-frutos-escrig, and M. Palomino, Non-strongly Stable Orders Also Define Interesting Simulation Relations, CALCO 09, Proceedings, LNCS 5728, pp.221-235, 2009.
DOI : 10.1016/S0169-7552(96)00017-7

M. Hennessy and R. Milner, Algebraic laws for nondeterminism and concurrency, Journal of the ACM, vol.32, issue.1, pp.137-161, 1985.
DOI : 10.1145/2455.2460

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

G. Leduc, A framework based on implementation relations for implementing LOTOS specifications, Computer Networks and ISDN Systems, vol.25, issue.1, pp.23-41, 1992.
DOI : 10.1016/0169-7552(92)90122-7

N. Lynch, A model for discrete event systems, 22nd Annual Conference on Information Sciences and Systems, pp.29-38, 1988.

D. Park, Concurrency and automata on infinite sequences, Theor. Comput. Sci. 5th GI-Conference, Proceedings, pp.167-183, 1981.
DOI : 10.1007/BFb0017309

R. J. Van-glabbeek, The linear time - branching time spectrum, Handbook of process algebra, pp.3-99, 2001.
DOI : 10.1007/BFb0039066