Constructing verification models of nonlinear Simulink systems via syntactic hybridization | IEEE Conference Publication | IEEE Xplore