R. Eifler and M. Fickert, “Online Refinement of Cartesian Abstraction Heuristics”, SOCS, vol. 9, no. 1, pp. 46–54, Sep. 2021.