P. Behm, P. Desforges, J. Meynadier, and . Etéoret´etéor, An Industrial Success in Formal Development, An invited talk at the 2nd Int. B conference, 1939.

G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, 1998.

R. Laleau and A. Mammar, An overview of a method and its support tool for generating B specifications from UML notations, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, 2000.
DOI : 10.1109/ASE.2000.873675
URL : https://hal.archives-ouvertes.fr/hal-01124519

K. Lano, The B Language and Method : A Guide to Practical Formal Development. FACIT, 1996.
DOI : 10.1007/978-1-4471-1494-9

H. Ledang, Des cas d'utilisationàutilisation`utilisationà une spécification B, Journées AFADL'2001 : Approches Formelles dans l'Assistance au Développement de Logiciels, pp.11-13, 2001.

H. Ledang, Formal Techniques in the Object- Oriented Development: an Approach based on the B method In the 11th PhDOOS Work- shop: PhD Students in Object-Oriented Sys- tems, 2001.

H. Ledang and J. Souquì-eres, Modeling class operations in B : a case study on the pump component, Laboratoire Lorrain de Recherche en Informatique et ses Applications, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100689

A. Malioukov, An object-based approach to the B formal method, 98: Recent Advances in the Development and Use of the B Method -2nd International B Conference, 1998.
DOI : 10.1007/BFb0053360

R. Marcano and N. Lévy, Transformation d'annotations OCL en expressions B, Journées AFADL'2001 : Approches Formelles dans l'Assistance au Développement de Logiciels, pp.11-13, 2001.

R. Marcano, E. Meyer, N. Lévy, and J. Souquì-eres, Utilisation de patterns dans la construction de spécifications en UML et B, Journées AFADL'2000 : Approches Formelles dans l'Assistance au Développement de Logiciels, 2000.

E. Meyer, Développements formels par objets: utilisation conjointe de B et d'UML, 2001.

E. Meyer and J. Souquì-eres, A Systematic Approach to Transform OMT Diagrams to a B Specification, FM'99 : World Congress on Formal Methods in the Development of Computing Systems, 1999.
DOI : 10.1007/3-540-48119-2_48
URL : https://hal.archives-ouvertes.fr/inria-00098957

H. P. Nguyen, Dérivation de spécifications formelles B ` a partir de spécifications semi-formelles, Conservatoire National des Arts et Métiers -CEDRIC, 1998.

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 1998.

E. Sekerinski, Graphical Design of Reactive Systems98: Recent Advances in the Development and Use of the B Method -2nd International B Conference, LNCS, vol.1393, 1998.

C. Snook and M. Butler, Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit, 2000.

C. Snook and R. Harrison, Practitioners Views on the Use of Formal Methods: An Industrial Survey by Structured Interview. Information and Software Technology, pp.275-283, 2001.