H. Palikareva, J. Ouaknine, and B. Roscoe, “Faster FDR Counterexample Generation Using SAT-Solving”, eceasst, vol. 23, Dec. 2009.