A Pattern for Modelling Fault Tolerant Systems in Event-B. - Gintautas Sulskus; Michael Poppleton (ABZ, 2012)

An Interval-Based Approach to Modelling Time in Event-B. - Gintautas Sulskus; Michael Poppleton; Abdolbaghi Rezazadeh (FSEN, 2015)

Modelling Complex Timing Requirements with Refinement. - Gintautas Sulskus; Michael Poppleton; Abdolbaghi Rezazadeh (IRI, 2016)

An investigation into Event-B methodologies and timing constraint modelling. - Gintautas Sulskus (2017)