B Language Reference Manual -Version 1.8.7, 2010. ,
A parametric analysis of the state-explosion problem in model checking, J. Comput. Syst. Sci, 2006. ,
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