D. Bert, F. Bouquet, Y. Ledru, and S. Vignes, Validation of Regulation Documents by Automated Analysis of Formal Models, REMO2V'06), 2006.

D. Bert and F. Cave, Construction of Finite Labelled Transition Systems from B Abstract Systems, Integrated Formal Methods, 1945.
DOI : 10.1007/3-540-40911-4_14

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

D. Bert, Modèle formel B de l'aéroport : Amdt11, projet aci sécurité informatique : Edemoi. Rapport interne, 2006.

D. Cansell, D. Méry, and S. Merz, Predicate Diagrams for the Verification of Reactive Systems, IFM, 1945.
DOI : 10.1007/3-540-40911-4_22
URL : https://hal.archives-ouvertes.fr/inria-00099125

J. Ellson, E. R. Gansner, E. Koutsofios, S. C. North, and G. Woodhull, Graphviz??? Open Source Graph Drawing Tools, Graph Drawing, 9th International Symposium, pp.483-484, 2001.
DOI : 10.1007/3-540-45848-4_57
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.9389

. Geccoo, Génération de code certifié pour des applications orientées objet. spécification, raffinement, preuve et détection d'erreurs. Rapport final -http, 2007.

S. Graf and H. Saïdi, Construction of abstract state graphs with PVS, Computer-Aided Verification (CAV'97, 1997.
DOI : 10.1007/3-540-63166-6_10

A. Idani and Y. Ledru, Dynamic graphical UML views from formal B specifications, Information and Software Technology, vol.48, issue.3, pp.154-169, 2006.
DOI : 10.1016/j.infsof.2005.03.008

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

R. Marlet and C. Mesnil, DEMONEY : A demonstrative Electronic Purse -Card Specification Public technical report, SECSAFE project, 2002.

E. Mikk, Y. Lakhnech, and M. Siegel, Hierarchical automata as model for statecharts, 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. Mocenigo and . Grappa, A Java Graph Package, 2006.

X. Morselli, M. Potet, and N. Stouls, Génésyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel, AFADL'04, session outil, pp.317-320, 2004.

M. Potet and N. Stouls, Explicitation du contrôle de développement B événementiel, 20] Nicolas Stouls. Compte rendu de stage de maîtrise, pp.13-27, 2002.

J. Voisinet, B. Tatibouet, and A. Hammad, jBTools: An Experimental Platform for the Formal B Method, PPPJ'02, pp.137-140, 2002.

M. Yannakakis, Hierarchical State Machines, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS, pp.315-330, 2000.
DOI : 10.1007/3-540-44929-9_24