Palikareva, H.; Ouaknine, J.; Roscoe, B. Faster FDR Counterexample Generation Using SAT-Solving. ECEASST 2009, 23.