VHM IN DISTINGUISHED LECTURE SERIES @UIUC (MARCH 2011) ← Model-based Closed-loop Testing paper published in IEEE ICCPS’11 (April 2011) Pacemaker Verification paper published in TACAS, 2012 →