Bounded Model Checking of Hybrid Dynamical Systems | IEEE Conference Publication | IEEE Xplore