Modular SMT-based analysis of nonlinear hybrid systems | IEEE Conference Publication | IEEE Xplore