Speck, D.; Seipp, J. New Refinement Strategies for Cartesian Abstractions. ICAPS 2022, 32, 348-352.