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