J. Abrial, The B-Book, 1996.
DOI : 10.1017/CBO9780511624162

J. Abrial, Extending B without Changing it, First Conference on the B Method, pp.169-190, 1996.

J. Abrial and L. Mussat, Introducing dynamic constraints in B, Second International B Conference, pp.83-128, 1998.
DOI : 10.1007/BFb0053357

P. Behm, P. Benoit, A. Faivre, and J. Meynadier, M??t??or: A Successful Application of B in a Large Project, FM99: World Congress on Formal Methods, pp.369-387, 1999.
DOI : 10.1007/3-540-48119-2_22

B. Boehm, Verifying and Validating Software Requirements and Design Specifications, IEEE Software, vol.1, issue.1, pp.75-88, 1984.
DOI : 10.1109/MS.1984.233702

E. Boerger and R. Staerk, The Abstract State Machines Method for High-Level System Design and Analysis, 2003.
DOI : 10.1007/978-1-84882-736-3_3

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7

M. Butler and M. Waldén, Distributed System Development in B, 1996.

M. Butler, csp2B: A Practical Approach to Combining CSP and B, Formal Aspects of Computing, vol.12, issue.3, pp.182-198, 2000.
DOI : 10.1007/PL00003930

C. Darlot, Reformulation et vérification de propriétés temporelles dans le cadre du raffinement de systèmes d'´ evénements, 2002.

R. Elmasri and S. Navathe, Fundamentals of Database Systems, 2004.

E. Emerson and V. Kahlon, Reducing Model Checking of the Many to the Few, Proceedings of CADE'2000, pp.236-354, 2000.
DOI : 10.1007/10721959_19

N. Evans, H. Treharne, R. Laleau, and M. Frappier, How to verify dynamic properties of information systems, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.26-30, 2004.
DOI : 10.1109/SEFM.2004.1347547
URL : https://hal.archives-ouvertes.fr/hal-01224670

C. Fischer, Combination and Implementation of Processes and Data: from CSP-OZ to Java Formal Systems (Europe) Ltd. (1997) Failures-Divergences Refinement: FDR2 User Manual, 2000.

B. Fraikin and M. Frappier, eb 3 PAI: an interpreter for the eb 3 specification language The 5 th Workshop on Tools for System Design and Verification, pp.15-17, 2002.

B. Fraikin and M. Frappier, Optimizing memory space in the eb 3 process algebra interpreter, ICCSSEA 2002, Software and Systemes Engineering and their Applications, 2002.

M. Frappier and R. Laleau, Proving Event Ordering Properties for Information Systems, Formal Specification and Development in Z and B Lecture Notes in Computer Science, vol.2651, pp.4-6, 2003.
DOI : 10.1007/3-540-44880-2_25
URL : https://hal.archives-ouvertes.fr/hal-01224673

M. Frappier and R. St-denis, eb 3 : an Entity-Based Black- Box Specification Method for Information Systems, Software and System Modeling, pp.134-149, 2003.

F. Gervais, EB 4 : Vers une méthode combinée de spécification formelle des systèmes d'information. Examen de spécialité, 2004.

C. Hoare, Communicating Sequential Processes, 1985.

. Inria-rhône-alpes, CADP (Caesar/Aldebaran Development Package)

M. Jarke, J. Mylopoulos, J. Schmidt, and Y. Vassiliou, DAIDA: an environment for evolving information systems, ACM Transactions on Information Systems, vol.10, issue.1, pp.1-50, 1992.
DOI : 10.1145/128756.128757

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

R. Laleau and A. Mammar, A Generic Process to Refine a B Specification into a Relational Database Implementation, Lecture Notes in Computer Science, vol.1878, 2000.
DOI : 10.1007/3-540-44525-0_3
URL : https://hal.archives-ouvertes.fr/hal-01124529

R. Laleau and F. Evry, Available at http://cedric.cnam.fr/PUBLIS/RC424.ps.gz 28. Mammar A (2002) Un environnement formel pour le développement d'applications bases de données, CNAM, 2002.

M. Manna and A. Pnueli, The temporal logic of reactive and concurrent systems, 1992.
DOI : 10.1007/978-1-4612-0931-7

E. Meyer and J. Souquì-eres, A Systematic Approach to Transform OMT Diagrams to a B Specification, Formal Methods (FM'99), pp.875-895, 1999.
DOI : 10.1007/3-540-48119-2_48
URL : https://hal.archives-ouvertes.fr/inria-00098957

H. Mills, R. C. Linger, and A. Hevner, Principles of Information Systems Analysis and Design, 1986.

R. Milner, Communication and Concurrency, 1989.

A. Pnueli, The temporal semantics of concurrent programs, Theoretical Computer Science, vol.13, issue.1, pp.45-60, 1981.
DOI : 10.1016/0304-3975(81)90110-9

C. Snook and M. Butler, UML-B, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, 2004.
DOI : 10.1145/1125808.1125811

H. Treharne and S. Schneider, How to Drive a B Machine, ZB2000: Formal Specification and Development in Z and B, pp.188-208, 2000.
DOI : 10.1007/3-540-44525-0_12

C. Vissers, G. Scollo, and M. Van-sinderen, Architecture and specification style in formal descriptions of distributed systems, pp.189-204, 1988.

J. Woodcock and A. Cavalcanti, The Semantics of Circus, LNCS vol, vol.2272, 2002.
DOI : 10.1007/3-540-45648-1_10