Why Secure Coding is not Enough: Professionals' Perspective. - John Colley (ISSE, 2009)

Guarded atomic actions and refinement in a system-on-chip development flow : bridging the specification gap with Event-B. - John Colley (2010)

A Practical Approach for Closed Systems Formal Verification Using Event-B. - Brett Bicknell; Jose Reis; Michael J. Butler; John Colley; Colin F. Snook (SEFM, 2012)

Building on the DEPLOY Legacy: Code Generation and Simulation - Andrew Edmunds; Michael J. Butler; John Colley (CoRR, 2012)

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

Co-simulation Environment for Rodin: Landing Gear Case Study. - Vitaly Savicks; Michael J. Butler; John Colley (ABZ (Case Study), 2014)

A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. - Toby Wilkinson; Michael J. Butler; John Colley (IMBSA, 2014)

Co-simulating event-B and continuous models via FMI. - Vitaly Savicks; Michael J. Butler; John Colley (SummerSim, 2014)

Formal Modelling, Testing and Verification of HSA Memory Models using Event-B. - Ashish Darbari; Iain Singleton; Michael J. Butler; John Colley (CoRR, 2016)

Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology. - Giles Howard; Michael J. Butler; John Colley; Vladimiro Sassone (EuroS&P Workshops, 2017)

A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. - Giles Howard; Michael J. Butler; John Colley; Vladimiro Sassone (Int. J. Crit. Comput. Based Syst., 2019)