M. Abadi and L. Lamport, The existence of refinement mappings, Logic in Computer Science, pp.165-175, 1988.

S. W. Ambler, The Object Primer: Agile Model-Driven Development with UML 2.0, 2004.
DOI : 10.1017/CBO9780511584077

E. Boiten and M. Bujorianu, Exploring UML refinement through unification, Critical Systems Development with UML. Proc. of the UML'03 workshop, pp.47-62, 2003.

E. Brinksma and G. Scollo, Formal notions of implementation and conformance in LOTOS, 1986.

S. Burmester, H. Giese, M. Hirsch, and D. Schilling, Incremental design and formal verification with UML/RT in the FUJABA Real-Time tool suite, SVERTS2004, 2004.

A. Cicchetti, D. D. Ruscio, D. S. Kolovos, and A. Pierantonio, A Test-Driven Approach for Metamodel Development, pp.319-342, 2012.
DOI : 10.4018/978-1-61350-438-3.ch012

R. Cleaveland and M. Hennessy, Testing equivalence as a bisimulation equivalence, Formal Aspects of Computing, vol.85, issue.n. 2, pp.1-20, 1993.
DOI : 10.1007/BF01211314

J. Derrick and E. Boiten, Refinement in Z and object-Z: foundations and advanced applications, 2001.

G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer, Testing the consistency of dynamic UML diagrams, Proc. 6th Int. Conf. on Integrated Design and Process Technology, 2002.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Tools and Algorithms for the Construction and Analysis of Systems, pp.372-387, 2011.
DOI : 10.1007/BFb0054166

URL : https://hal.archives-ouvertes.fr/inria-00583776

S. Gnesi, D. Latella, and M. Massink, Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking, The Journal of Logic and Algebraic Programming, vol.51, issue.1, pp.43-75, 2001.
DOI : 10.1016/S1567-8326(01)00012-1

C. A. Hoare, Communicating sequential processes, 2004.

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

M. Lehman, On understanding laws, evolution, and conservation in the large-program life cycle, Journal of Systems and Software, vol.1, pp.213-221, 1980.
DOI : 10.1016/0164-1212(79)90022-0

J. Lilius and I. Paltor, Formalising UML State Machines for Model Checking, UML 99 ? The Unified Modeling Language, 1999.
DOI : 10.1007/3-540-46852-8_31

H. Luong, T. Lambolais, and A. Courbis, Implementation of the Conformance Relation for Incremental Development of Behavioural Models, LNCS, vol.5301, pp.356-370, 2008.
DOI : 10.1007/978-3-540-87875-9_26

R. Milner, Communication and concurrency, 1989.

D. E. Perry and A. L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992.
DOI : 10.1145/141874.141884

G. Sunyé, D. Pollet, Y. L. Traon, and J. Jézéquel, Refactoring UML Models, pp.134-148, 2001.
DOI : 10.1007/3-540-45441-1_11

N. Wirth, Program development by stepwise refinement, Communications of the ACM, vol.14, issue.4, pp.221-227, 1971.
DOI : 10.1145/362575.362577