Towards verification of hybrid systems in a foundational proof assistant. - Daniel Ricketts 001; Gregory Malecha; Mario M. Alvarez; Vignesh Gowda; Sorin Lerner (MEMOCODE, 2015)