A Mathematical Model for Type 1 Diabetes Regulation Using a Smart Insulin Patch: In Silico Validation Based on Published Rat Data | Synapse