7Levy N,Marcano-Kamenoff R,Souquières J.From Requirements to formal specification using UML and B[C]//In International Conference on Computer Systems and technologiesCompSysTech'2002.Sofia,Bulgaria:[s.n.],2002.
8Snook C,Butler M.UML-B:Formal modelling and design aided by UML[R/OL].UK:School of Electronics and Computer Science,University of Southampton.2004.eprints.ecs.soton.ac.uk/10169/.
9Laleau R,Mammar A.An overview of a Method and its support tool for generating B specification from UML notations[C]/The Fifteenth IEEE International Conference on Automated Engineering.[s.l]:[s.n.],2000.
10Ledang H,Souquieres J.Modeling class operations in B:a case study on the pump component[R/OL].A01-R-011,Laboratoire Lorrain de Recherche en Informatique et ses Applications,2001-03.http://www.loria,fr/Vledang/publications/UML01.ps.Z.
