related documents A Model-Based Approach to Synthesizing Insulin Infusion Pump Usage Parameters for Diabetic Patients Conference Proceeding