]. A. Arn92 and . Arnold, Systèmes de transitions finis et sémantique des processus communicants, 1992.

[. Bert and F. Cave, Construction of finite labelled transistion systems from b abstract systems, IFM '00: Proceedings of the Second International Conference on Integrated Formal Methods, pp.235-254, 2000.

S. [. Bloom, R. Istrail, and . 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

J. [. Bellegarde, O. Julliand, and . Kouchnarenko, Ready-Simulation Is Not Ready to Express a Modular Refinement Relation, Fundamental Aspects of Software Engineering (FASE'00), volume 1783 of LNCS, pp.266-283, 2000.
DOI : 10.1007/3-540-46428-X_19

J. Bendisposto, M. Leuschel, O. Ligot, and M. Samia, La validation de mod??les Event-B avec le plug-in ProB pour RODIN, Techniques et sciences informatiques, vol.27, issue.8, pp.1065-1084, 2008.
DOI : 10.3166/tsi.27.1065-1084

[. Bert, M. Potet, and N. Stouls, GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, pp.299-318, 2005.
DOI : 10.1007/11415787_18
URL : https://hal.archives-ouvertes.fr/inria-00384189

M. [. Leuschel and . Butler, ProB: A Model Checker for B, FME 2003: Formal Methods, LNCS 2805, pp.855-874, 2003.
DOI : 10.1007/978-3-540-45236-2_46

M. [. Leuschel and . Butler, Automatic Refinement Checking for B, In ICFEM, pp.345-359, 2005.
DOI : 10.1007/11576280_24

M. [. Leuschel and . Butler, ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/s10009-007-0063-9

]. R. Mil89 and . Milner, Communication and concurrency, 1989.

[. Potet and N. Stouls, Explicitation du contrôle de développement B ´ evénementiel, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'04), pp.13-27

N. Stouls, Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés, 2007.