1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Abrial, J.R., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010)
3. Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inform. 77(1–2), 1–28 (2007)
4. Breitling, M., Philipps, J.: Transitions into black box views -the NetBill protocol revisited-. Technical report, Institut fur Informatik Technische Universitat Munchen (2000)
5. Cox, B.: NetBill security and transaction protocol. In: USENIX Workshop on Electronic Commerce. USENIX Association (1995)