Hao Xu, Tom Maibaum. An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. In Zhiming Liu, Alan Wassyng, editors, Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Volume 7151 of Lecture Notes in Computer Science, pages 160-176, Springer, 2011. [doi]
Abstract is missing.