2Edmunds A, Butler M. Linking Event-B and Concurrent Object-Oriented Programs[J]. Electronic Notes in Theoretical Computer Science,2008,214(C) : 159-182.
3Mammar A, Laleau R. From a B Formal Specification to an Executable Code:Application to the Relational Database Domain[J]. Information and Software Technology, 2005, 48 (4):255.
4Abrial J R. The B-Book: Assigning Programs to Meanings [M]. Cambridge: Cambridge University Press, 1996.
5ATLAS Group LINA & INRIA Nantes. ATL User Manual [EB/OL]. [2006-03- 21]. http://www, eclipse, org/gmt/ati/ doc/ ATL User Manual. pdf.