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