4[1]Na'aman Kam,Cohen I R,Harel D.The immune system as a reactive system:Modeling T cell activation with statecharts.Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC01) IEEE Computer Society.2001
5[2]Snook C,Butler M.UML-B:formal modeling and design aided by UML.ACM Transactions Software Engineering and Methodology,January 2006;15(1):92-122
6[5]Ledang H,Souquieres J.Contributions for modelling UML statecharts in B.http://www.cs.york.ac.uk/puml/,2002
7[6]Abrial J R.The B book:assigning programs to meaning.北京:电子工业出版社 Cambridge University Press,1996
8[7]Lano K.The B language and method.Springer Verlag,1996
9[8]Snook C,Butler M.Tool-supported use of UML for constructing B specifications,Technical Report,Department of Electronics and Computer Science,University of Southampton,United Kingdom,2000
