Seipp, J.; Helmert, M. Counterexample-Guided Cartesian Abstraction Refinement. ICAPS 2013, 23, 347-351.