R. J. Back, A calculus of refinements for program derivations, Acta Informatica, vol.14, issue.3, pp.593-624, 1988.
DOI : 10.1007/BF00291051

F. Bellegarde, J. Julliand, and O. Kouchnarenko, Readysimulation is not ready to express a modular refinement relation, Fundamental Aspects of Software Engineering (FASE'00), pp.266-283, 2000.

R. and D. Nicola, Extensional equivalences for transition systems, Acta Informatica, vol.24, issue.2, pp.211-237, 1987.
DOI : 10.1007/BF00264365

T. Deiss, An Approach to the Combination of Formal Description Techniques: Statecharts and TLA, 1st International Conference on Integrated Formal Methods, IFM'99, pp.231-250, 1999.

J. Fernandez, An implementation of an efficient algorithm for bisimulation equivalence, Science of Computer Programming, vol.13, issue.2-3, pp.219-236, 1990.
DOI : 10.1016/0167-6423(90)90071-K

O. Gout and T. Lambolais, UML Protocol State Machines Incremental Construction: a Conformance-based Refinement Approach, p.2, 2005.

D. Harel12, ]. A. Knapp, S. Merz, M. Wirsing, and J. Zappe, Modeling Reactive Systems With Statecharts Specification and refinement of mobile systems in MTLA and mobile UML, Theoretical Computer Science, 1998.

O. Kouchnarenko and A. Lanoix, Refinement and Verification of Synchronized Component-Based Systems, Formal Methods (FM'03), volume 2805 of LNCS, pp.341-358, 2003.
DOI : 10.1007/978-3-540-45236-2_20
URL : https://hal.archives-ouvertes.fr/inria-00071721

A. Lanoix and J. Souquì-eres, A step-by-step process to build conform UML protocol state machines, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00019314

D. Latella, I. Majzik, and M. Massink, Towards a Formal Operational Semantics of UML Statechart Diagrams, 3rd Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), pp.331-347, 1999.
DOI : 10.1007/978-0-387-35562-7_25

D. Latella and M. Massink, On testing and conformance relations of UML statechart diagrams behaviours, ACM, editor, Int. Symposium on Software Testing and Analysis, 2002.

H. Ledang and J. Souquì-eres, Contributions for Modelling UML State-Charts in B, Third International Conference on Integrated Formal Methods -IFM'2002, 2002.
DOI : 10.1007/3-540-47884-1_7
URL : https://hal.archives-ouvertes.fr/inria-00099403

A. Maggiolo-schettini, A. Peron, and S. Tini, Equivalences of Statecharts, Proc. of the 7th Int. Conf. On Concurrency Theory (CONCUR'96), pp.687-702, 1996.
DOI : 10.1007/3-540-61604-7_84

S. Meng, Z. Naixiao, and L. S. Barbosa, On semantics and refinement of UML statecharts: A coalgebraic view, Proc. of the 2nd In. Conf. on Software Engineering and Formal Methods (SEFM'04), 2004.

E. Meyer and T. Santen, Behavioral Conformance Verification in an Integrated Approach Using UML and B Integrated Formal Methods, IFM00), p.358, 1945.

E. Mikk, Y. Lakhnech, and M. Siegel, Hierarchical automata as model for statecharts, Third Asian Computing Science Conference on Advances in Computing Science (ASIAN'97), pp.181-196, 1997.
DOI : 10.1007/3-540-63875-X_52

R. Milner, Communication and concurrency, 1989.

J. M. Morris, A theoretical basis for stepwise refinement and the programming calculus, Science of Computer Programming, vol.9, issue.3, pp.287-306, 1987.
DOI : 10.1016/0167-6423(87)90011-6

D. Ossami, J. Souquì, and J. Jacquot, Consistency in UML and B Multi-view Specifications, Proc. of the Int. Conf. on Integrated Formal Methods, IFM'05, number 3771 in LNCS, pp.386-405, 2005.
DOI : 10.1007/11589976_22
URL : https://hal.archives-ouvertes.fr/hal-00009478

P. Scholz, Incremental design of statechart specifications, Science of Computer Programming, vol.40, issue.1, pp.119-145, 2001.
DOI : 10.1016/S0167-6423(00)00026-5

E. Sekerinski and R. Zurob, Translating Statecharts to B, IFM '02: Proceedings of the Third International Conference on Integrated Formal Methods, pp.128-144, 2002.
DOI : 10.1007/3-540-47884-1_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.2394

J. Tretmans, Conformance testing with labelled transition systems: Implementation relations and test generation, Computer Networks and ISDN Systems, vol.29, issue.1, pp.49-79, 1996.
DOI : 10.1016/S0169-7552(96)00017-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.9663

M. Von and . Beeck, Formalization of UML-Statecharts, UML'01: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pp.406-421, 2001.

A. M. Zaremski and J. M. Wing, Specification matching of software components, ACM Transactions on Software Engineering and Methodology, vol.6, issue.4, pp.333-369, 1997.
DOI : 10.1145/261640.261641