Local Search in Model Checking. - A. W. Roscoe 001; Philip J. Armstrong; Pragyesh (ATVA, 2009)

Recent Developments in FDR. - Philip J. Armstrong; Michael Goldsmith; Gavin Lowe; Joël Ouaknine; Hristina Palikareva; A. W. Roscoe 001; James Worrell 001 (CAV, 2012)

Model checking Timed CSP. - Philip J. Armstrong; Gavin Lowe; Joël Ouaknine; Bill Roscoe (HOWARD-60, 2014)

FDR3 - A Modern Refinement Checker for CSP. - Thomas Gibson-Robinson; Philip J. Armstrong; Alexandre Boulgakov; A. W. Roscoe 001 (TACAS, 2014)

FDR3: a parallel refinement checker for CSP. - Thomas Gibson-Robinson; Philip J. Armstrong; Alexandre Boulgakov; A. W. Roscoe 001 (Int. J. Softw. Tools Technol. Transf., 2016)