From a B Specification to UML StateChart Diagrams. - Ahmed Hammad; Bruno Tatibouët; Jean-Christophe Voisinet; Weiping Wu (ICFEM, 2002)

JBTools: an experimental platform for the formal B method. - Jean-Christophe Voisinet (PPPJ/IRE, 2002)

Java Card Code Generation from B Specifications. - Bruno Tatibouët; Antoine Requet; Jean-Christophe Voisinet; Ahmed Hammad (ICFEM, 2003)

Generation of OCL Constraints from B Abstract Machines. - Jean-Christophe Voisinet; Bruno Tatibouët; Isabelle Jacques (Software Engineering Research and Practice, 2005)