D. Speck and J. Seipp, “New Refinement Strategies for Cartesian Abstractions”, ICAPS, vol. 32, no. 1, pp. 348-352, Jun. 2022.