Modelling and simulation of occlusions in insulin pumps | IEEE Conference Publication | IEEE Xplore