A. Cimatti, A. Micheli, and M. Roveri, “Solving Temporal Problems Using SMT: Weak Controllability”, AAAI, vol. 26, no. 1, pp. 448–454, Sep. 2021.