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