Model-based Reasoning For Adjusting Insulin Therapy | IEEE Conference Publication | IEEE Xplore