Modeling and certification of infusion pumps Alan Wassyng, Mark Lawford, Tom Maibaum, Linna Pang, Grant Whinton, John Stribbell, Esteban Bucio, Hao Xu,