The Diabetes Control and Complications Trial Research Group: The effect of intensive treatment of diabetes on the development and progression of long-term complications in insulin-dependent diabetes mellitus. N Engl J Med, 1993; 329:977–986.
2.
AgrawalP, ZhongA, WelshJB, et al.: Retrospective analysis of the real-world use of the Threshold Suspend feature of sensor-augmented insulin pumps. Diabetes Technol Ther, 2015; 17:316–319.
3.
GargS, BrazgRL, BaileyTS, et al.: Reduction in duration of hypoglycemia by automatic suspension of insulin delivery: the In-Clinic ASPIRE study. Diabetes Technol Ther, 2012; 14:205–209.
4.
BergenstalRM, KlonoffDC, GargSK, et al.: Threshold-based insulin-pump interruption for reduction of hypoglycemia. N Engl J Med, 2013; 369:224–232.
5.
DesboroughL: Closing the loop: issues and opportunities. Presented at the 7th International Conference on Advanced Technologies & Treatments for Diabetes, Vienna, Austria, February7, 2014.
6.
Food and Drug Administration: 522 Postmarket Surveillance Studies—FAQs. www.fda.gov/MedicalDevices/DeviceRegulationandGuidance/PostmarketRequirements/PostmarketSurveillance/ucm134497.htm (accessed January15, 2015).
7.
KowalskiAJ: Can we really close the loop and how soon? Accelerating the availability of an artificial pancreas: a roadmap to better diabetes outcomes. Diabetes Technol Ther, 2009; 11(Suppl 1):S-113–S-119.
8.
BequetteBW: Challenges and recent progress in the development of a closed-loop artificial pancreas. Annu Rev Control, 2012; 36:255–266.
9.
DoyleFJ3rd, HuyettLM, LeeJB, et al.: Closed-loop artificial pancreas systems: engineering the algorithms. Diabetes Care, 2014; 37:1191–1197.
10.
SouyrisJ, WielsV, DelmasD, et al.: Formal verification of avionics software products. In: CavalcantiA, DamsD, eds. Lecture Notes in Computer Science, Vol. 5850: FM 2009: Formal Methods. Berlin: Springer-Verlag, 2009:532–546.
11.
JeanninJB, GhorbalK, KouskoulasY, et al.: A formally verified hybrid system for the next-generation of airborne collision avoidance systems. Presented at: Tools and Algorithms for the Construction and Analysis of Systems – 21st International Conference, TACAS 2015; April11–18, 2015; London, UK: Springer, 2015, pp. 21–36.
12.
JeanninJB, GhorbalK, KouskoulasY, et al.: A formally verified hybrid system for the next-generation of airborne collision avoidance systems. CMU Technical Report Vol. CMU-CS-14-102. http://symbolaris.com/pub/acasx-zones.pdf (accessed March22, 2015).
13.
LeeI, PappasGJ, CleavelandR, et al.: High-confidence medical device and software systems. IEEE Comput, 2006; 39:33–38.
14.
JiangZ, PajicM, MangharamR: Model-based closed-loop testing of implantable pacemakers. In: 2011 IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS). New York: IEEE, 2011:131–140.
15.
BarnardKD, HoodKK, Weissberg-BenchellJ, et al.: Psychosocial assessment of artificial pancreas (AP): commentary and review of existing measures and their applicability in AP research. Diabetes Technol Ther, 2015; 17:295–300.
16.
BarnardKD, PinskerJE, OliverN, et al.: Future artificial pancreas technology for type 1 diabetes: what do users want?. Diabetes Technol Ther, 2015; 17:311–315.
