Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. - Andreas Abel 004; Allon Adir; Torsten Blochwitz; Lev Greenberg; Tamer Salman (Haifa Verification Conference, 2013)