Palikareva, H., Ouaknine, J. and Roscoe, B. (2009) “Faster FDR Counterexample Generation Using SAT-Solving”, Electronic Communications of the EASST, 23. doi: 10.14279/tuj.eceasst.23.307.