Model-based falsification of an artificial pancreas control system. - Sriram Sankaranarayanan 001; Suhas Akshar Kumar; Faye Cameron; B. Wayne Bequette; Georgios Fainekos; David M. Maahs (SIGBED Rev., 2017)