, Tabular representation of relations, 1992.
Using Event-B for Critical Device Software Systems, 2013. ,
High-confidence medical device software and systems, Computer, vol.39, issue.4, pp.33-38, 2006. ,
Patterns for refinement automation, FMCO 2009, vol.6286, pp.70-88, 2010. ,
Understanding and planning Event-B refinement through primitive rationales, Abstract State Machines, vol.8477, pp.277-283, 2014. ,
Rigorous open development environment for complex systems, 2004. ,
Precise documentation of well-structured programs, IEEE Trans. Softw. Eng, vol.20, issue.12, pp.948-976, 1994. ,
Tabular expressions and their relational semantics. Fundam, Inform, vol.67, issue.4, pp.343-370, 2005. ,
Defining the meaning of tabular mathematical expressions, Special Section on the Programming Languages Track at the 23rd ACM Symposium on Applied Computing), vol.75, pp.980-1000, 2010. ,
Verification of the shutdown system software at the Darlington nuclear generating station, International Conference on Control and Instrumentation in Nuclear Installations, 1990. ,
Lessons learned from a successful implementation of formal methods in an industrial project, FME 2003, vol.2805, pp.133-153, 2003. ,
SCR: a toolset for specifying and analyzing software requirements, CAV 1998, vol.1427, pp.526-531, 1998. ,
, Modeling in Event-B: System and Software Engineering, 2010.
The B-book: Assigning Programs to Meanings, 2005. ,
Superposition refinement of reactive systems, Formal Aspects Comput, vol.8, issue.3, pp.324-346, 1996. ,
Model-based development of the generic PCA infusion pump user interface prototype in PVS, SAFECOMP 2013, vol.8153, pp.228-240, 2013. ,
An Event-B approach to timing issues applied to the generic insulin infusion pump, FHIES 2011, vol.7151, pp.160-176, 2012. ,
, Report 18: formalizing insulin pump using Event-B. Technical report 18, McSCert, McMaster University, 2014.
Logic-structure tables, Commun. ACM, vol.4, issue.6, pp.272-275, 1961. ,
Software requirements for the A-7E aircraft, NRL Memorandum report, vol.3876, 1978. ,
A generalized control structure and its formal definition, Commun. ACM, vol.26, issue.8, pp.572-581, 1983. ,
Software certification experience in the Canadian nuclear industry: lessons for the future, pp.219-226, 2011. ,
Formalization and modeling of rules using the XTT2 method, Int. J. Artif. Intell. Tools, vol.20, issue.06, pp.1107-1125, 2011. ,
The HeKatE methodology. Hybrid engineering of intelligent systems, Int. J. Appl. Math. Comput. Sci, vol.20, issue.1, pp.35-53, 2010. ,
A Discipline of Programming, 1st edn, 1997. ,
An axiomatic basis for computer programming, Commun. ACM, vol.12, issue.10, pp.576-580, 1969. ,
Refinement Calculus: A Systematic Introduction, 1st edn, 1998. ,
Programming from Specifications, 1990. ,
Automatic code generation from Event-B models, Proceedings of Second Symposium on Information and Communication Technology, pp.179-188, 2011. ,