Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B. - Wen Su; Jinxin Chen; Shehroz Khan 002 (ABZ, 2018)