Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events. - Colin Pilbrow; Robi Malik (FTSCS, 2013)

Using State Machines for the Visualisation of Specifications via Refinement. - Colin Pilbrow; Steve Reeves (ASWEC (2), 2015)

An algorithm for compositional nonblocking verification using special events. - Colin Pilbrow; Robi Malik (Sci. Comput. Program., 2015)

Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. - Colin Pilbrow; Steve Reeves (APSEC, 2017)