Systematising Reactive System Design. - T. S. E. Maibaum; Pauline Kan; Kevin Lano (AMAST, 1998)

Linking Hazard Analysis to Formal Specification and Design in B. - Kevin Lano; Pauline Kan; Arturo Sanchez (SAFECOMP, 1998)

Compositional Specification of Controllers for Batch Process Operations. - Kevin Lano; Pauline Kan; Arturo Sanchez (ZUM, 1998)

Invariant-Based Synthesis of Fault-Tolerant Systems. - Kevin Lano; David Clark 001; Kelly Androutsopoulos; Pauline Kan (FTRTFT, 2000)

Structuring Reactive Systems in B AMN. - Kevin Lano; Kelly Androutsopoulos; Pauline Kan (ICFEM, 2000)

Structuring specifications of reactive systems using B. - Pauline Kan (2006)