A. Cimatti, S. Mover, and S. Tonetta, “SMT-Based Verification of Hybrid Systems”, AAAI, vol. 26, no. 1, pp. 2100-2105, Sep. 2021.