A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients | IEEE Conference Publication | IEEE Xplore