Linking Event-B and Concurrent Object-Oriented Programs. - Andrew Edmunds; Michael J. Butler (Refine@FM, 2008)

On an Extensible Rule-Based Prover for Event-B. - Issam Maamria; Michael J. Butler; Andrew Edmunds; Abdolbaghi Rezazadeh (ASM, 2010)

Providing concurrent implementations for Event-B developments. - Andrew Edmunds (2010)

Formal Modelling for Ada Implementations: Tasking Event-B. - Andrew Edmunds; Abdolbaghi Rezazadeh; Michael J. Butler (Ada-Europe, 2012)

Event-B Code Generation: Type Extension with Theories. - Andrew Edmunds; Michael J. Butler; Issam Maamria; Renato Silva; Chris Lovell (ABZ, 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)

Templates for Event-B Code Generation. - Andrew Edmunds (ABZ, 2014)

On Component-Based Reuse for Event-B. - Andrew Edmunds; Colin F. Snook; Marina Waldén (ABZ, 2016)

Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. - Andrew Edmunds; Marina Waldén (SBMF, 2016)

Applying guidelines for system modelling in Event-B - a systematic literature review. - Marta Olszewska; Fatima Shokri-Manninen; Andrew Edmunds; Marina Waldén (Int. J. Crit. Comput. Based Syst., 2020)