Constructing a Model-Based Software Monitor for the Insulin Pump Behavior. - Babamir, Seyed (Journal of Medical Systems, 2012)