Text this: Constructing a Model-Based Software Monitor for the Insulin Pump Behavior.