Eifler, R.; Fickert, M. Online Refinement of Cartesian Abstraction Heuristics. SOCS 2021, 9, 46-54.