Towards the Formal Verification of a Java Processor in Event-B. - Neil Evans; Neil Grant (REFINE@IFM, 2007)

A Step towards Merging xUML and CSP || { | }B. - Helen Treharne; Steve A. Schneider; Neil Grant; Neil Evans; Wilson Ifill (Rigorous Methods for Software Construction and Analysis, 2009)

Modelling and Refinement in CODA - Michael J. Butler; John Colley; Andrew Edmunds; Colin F. Snook; Neil Evans; Neil Grant; Helen Marshall (Refine@IFM, 2013)