Cimatti, A.; Mover, S.; Tonetta, S. SMT-Based Verification of Hybrid Systems. AAAI 2021, 26, 2100-2105.