1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Arney, D., Jetley, R., Jones, P., Lee, I., Sokolsky, O., Ray, A., Zhang, Y.: Generic infusion pump hazard analysis and safety requirements. Technical report MS-CIS-08-31, University of Pennsylvania, February 2009
3. Campos, J.C., Harrison, M.D.: Interaction engineering using the IVY tool. In: Calvary, G., Graham, T.C.N., Gray, P. (eds.) Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 35–44. ACM Press (2009)
4. Cardinal Health Inc.: Alaris GP volumetric pump: directions for use. Technical report, Cardinal Health, 1180 Rolle, Switzerland (2006)
5. Lecture Notes in Computer Science;A Cimatti,2002