J. Seipp and M. Helmert, “Counterexample-Guided Cartesian Abstraction Refinement”, ICAPS, vol. 23, no. 1, pp. 347-351, Jun. 2013.