Cimatti, A.; Micheli, A.; Roveri, M. Solving Temporal Problems Using SMT: Weak Controllability. AAAI 2021, 26, 448-454.