Recent developments in FDR - Armstrong, P; Goldsmith, M; Lowe, G; Ouaknine, J; Palikareva, H; Roscoe, A; Worrell, J (Computer Aided Verification, 2012)