A. Amelot and D. Dollé, Le raffinement automatique Available at http://www3.inrets.fr, ESTAS/actes/MTI-2001-ESTAS.*, 2001.

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

J. M. Bruel, Integrating Formal and Informal Specification Techniques. Why? How? In the 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques, pp.50-57, 1998.
DOI : 10.1109/wift.1998.766297

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.2982

J. M. Bruel, J. Lilius, A. Moreira, and R. B. France, Defining Precise Semantics for UML, Object-Oriented Technology, pp.113-122, 1964.
DOI : 10.1007/3-540-44555-2_10

A. Cockburn, Structuring Use Cases with Goals, 1997.

D. F. Souza, A. C. Wills, . Objects, . Components, . Frameworks et al., The Catalysis Approach, 1998.

R. Laleau and A. Mammar, A Generic Process to Refine a B Specification into a Relational Database Implementation, ZB 2000: Formal Specification and Development in Z and B, 2000.
DOI : 10.1007/3-540-44525-0_3

URL : https://hal.archives-ouvertes.fr/hal-01124529

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 and J. Souquières, Formalizing UML Behavioral Diagrams with B. In the Tenth OOP- SLA Workshop on Behavioral Semantics: Back to Basics, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00107872

H. Ledang and J. Souquières, Modeling Class Operations in B: Application to UML Behaviral Dia- grams, ASE2001: the 16th IEEE International Conference on Automated Software Engineering, pp.289-296, 2001.

H. Ledang and J. Souquières, Contributions for Modelling UML State-Charts in B, IFM 2002: Third International Conference on Integrated Formal Methods, pp.109-127, 2002.
DOI : 10.1007/3-540-47884-1_7

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

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

E. Meyer and J. Souquières, 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 à 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.

]. 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.