A Generic Model for Assessing Process Quality. - Manoranjan Satpathy; Rachel Harrison; Colin F. Snook; Michael J. Butler (IWSM, 2000)

Using a Graphical Design Tool for Formal Specification. - Colin F. Snook; Michael J. Butler (PPIG, 2001)

Practitioners' views on the use of formal methods: an industrial survey by structured interview. - Colin F. Snook; Rachel Harrison (Inf. Softw. Technol., 2001)

Exploring the barriers to formal specification. - Colin Frank Snook (2001)

Using UML-B and U2B for formal refinement of digital components1. - Colin F. Snook; Kim Sandström (FDL, 2003)

A hardware/software codesign framework for developing complex embedded systems using formal model refinement. - Nikolaos S. Voros; Colin F. Snook; Stefan Hallerstede; Thierry Lecomte (FDL, 2004)

Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language. - Nikolaos S. Voros; Colin F. Snook; Stefan Hallerstede; Konstantinos Masselos (Des. Autom. Embed. Syst., 2004)

Experimental comparison of the comprehensibility of a Z specification and its implementation in Java. - Colin F. Snook; Rachel Harrison (Inf. Softw. Technol., 2004)

Tools for System Validation with B Abstract Machines. - Michael J. Butler; Michael Leuschel; Colin F. Snook (Abstract State Machines, 2005)

UML User Interface to a Proof-based Hardware Design Flow. - D. Moisuc; S. Revol; Colin F. Snook (FDL, 2006)

Formal Development of Mechanisms for Tolerating Transient Faults. - Dubravka Ilic; Elena Troubitsyna; Linas Laibinis; Colin F. Snook (RODIN Book, 2006)

Towards a Method for Rigorous Development of Generic Requirements Patterns. - Colin F. Snook; Michael Poppleton; Ian Johnson (RODIN Book, 2006)

UML-B: Formal modeling and design aided by UML. - Colin F. Snook; Michael J. Butler (ACM Trans. Softw. Eng. Methodol., 2006)

Refinement of Statemachines Using Event B Semantics. - Colin F. Snook; Marina Waldén (B, 2007)

Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. - Rozilawati Razali; Colin F. Snook; Michael Poppleton; Paul W. Garratt; Robert J. Walters (EASE, 2007)

Usability Assessment of a UML-based Formal Modelling Method. - Rozilawati Razali; Colin F. Snook; Michael Poppleton; Paul W. Garratt (PPIG, 2007)

UML-B: A Plug-in for the Event-B Tool Set. - Colin F. Snook; Michael J. Butler (ABZ, 2008)

Rigorous engineering of product-line requirements: A case study in failure management. - Colin F. Snook; Michael Poppleton; Ian Johnson (Inf. Softw. Technol., 2008)

Language and Tool Support for Class and State Machine Refinement in UML-B. - Mar Yah Said; Michael J. Butler; Colin F. Snook (FM, 2009)

Documenting the Progress of the System Development. - Marta Plaska; Marina Waldén; Colin F. Snook (Methods, Models and Tools for Fault Tolerance, 2009)

Verification of UML Models by Translation to UML-B. - Colin F. Snook; Vitaly Savicks; Michael J. Butler (FMCO, 2010)

Refining Nodes and Edges of State Machines. - Stefan Hallerstede; Colin F. Snook (ICFEM, 2011)

A proposal for extending UML-B to support a conceptual model. - Thiago C. de Sousa; Colin F. Snook; Paulo Sérgio Muniz Silva (Innov. Syst. Softw. Eng., 2011)

A Practical Event-B Refinement Method Based on a UML-Driven Development Process. - Thiago C. de Sousa; Paulo Sérgio Muniz Silva; Colin F. Snook (ABZ, 2012)

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)

A mixed approach to rigorous development of control designs. - Manoranjan Satpathy; S. Ramesh 002; Colin F. Snook; Neeraj Kumar Singh 001; Michael J. Butler (CACSD, 2013)

Systematic Development of Control Designs via Formal Refinement. - Manoranjan Satpathy; Colin F. Snook; Silky Arora; S. Ramesh 002; Michael J. Butler (MODELSWARD, 2013)

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

Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. - Asieh Salehi Fathabadi; Colin F. Snook; Michael J. Butler (IFM, 2014)

A method of refinement in UML-B. - Mar Yah Said; Michael J. Butler; Colin F. Snook (Softw. Syst. Model., 2015)

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

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. - Thai Son Hoang; Colin F. Snook; Lukas Ladenberger; Michael J. Butler (ABZ, 2016)

Using event-B and Modelica to evaluate thermal management strategies in many core systems. - Colin F. Snook; Tom J. Kazmierski (FDL, 2016)

A Composition Mechanism for Refinement-Based Methods. - Thai Son Hoang; Dana Dghaym; Colin F. Snook; Michael J. Butler (ICECCS, 2017)

Class-Diagrams for Abstract Data Types. - Thai Son Hoang; Colin F. Snook; Dana Dghaym; Michael J. Butler (ICTAC, 2017)

Analysing Security Protocols Using Refinement in iUML-B. - Colin F. Snook; Thai Son Hoang; Michael J. Butler (NFM, 2017)

Formal Modelling Techniques for Efficient Development of Railway Control Products. - Michael J. Butler; Dana Dghaym; Tomas Fischer; Thai Son Hoang; Klaus Reichl; Colin F. Snook; Peter Tummeltshammer (RSSRail, 2017)

Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. - Dana Dghaym; Michael Poppleton; Colin F. Snook (ABZ, 2018)

Refinement of Statecharts with Run-to-Completion Semantics. - Karla Morris; Colin F. Snook; Thai Son Hoang; Robert C. Armstrong; Michael J. Butler (FTSCS, 2018)

Reusing Formal Models via Lifting. - Dana Dghaym; Colin F. Snook; Thai Son Hoang; Michael J. Butler (ICECCS, 2018)

Behaviour-Driven Formal Model Development. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler; Tomas Fischer; Rupert Schlick; Keming Wang (ICFEM, 2018)

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. - Rupert Schlick; Michael Felderer; István Majzik; Roberto Nardone; Alexander Raschke; Colin F. Snook; Valeria Vittorini (ISoLA (4), 2018)

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. - Thai Son Hoang; Colin F. Snook; Asieh Salehi Fathabadi; Michael J. Butler; Lukas Ladenberger (Sci. Comput. Program., 2018)

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. - Michael J. Butler; Dana Dghaym; Thai Son Hoang; Tope Omitola; Colin F. Snook; Andreas Fellner; Rupert Schlick; Thorsten Tarrach; Tomas Fischer; Peter Tummeltshammer (ICECCS, 2019)

Domain-Specific Scenarios for Refinement-Based Methods. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler (MEDI Workshops, 2019)

Refinement and Verification of Responsive Control Systems. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (ABZ, 2020)

Formal Verification of Run-to-Completion Style Statecharts Using Event-B. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (ECSA Companion, 2020)

Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. - Dana Dghaym; Mohammadsadegh Dalvandi; Michael Poppleton; Colin F. Snook (Int. J. Softw. Tools Technol. Transf., 2020)

Extensible Record Structures in Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler (ABZ, 2021)

The CamilleX Framework for the Rodin Platform. - Thai Son Hoang; Colin F. Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael J. Butler (ABZ, 2021)

Refinable Record Structures in Formal Methods. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler (MEDI Workshops, 2021)

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. - Messaoud Abbas; Renaud Rioboo; Choukri-Bey Ben-Yelles; Colin F. Snook (J. Syst. Archit., 2021)

Domain-specific scenarios for refinement-based methods. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Asieh Salehi Fathabadi; Michael J. Butler (J. Syst. Archit., 2021)

Generating SPARK from Event-B, Providing Fundamental Safety and Security. - Asieh Salehi Fathabadi; Dana Dghaym; Thai Son Hoang; Michael J. Butler; Colin F. Snook (MEDI Workshops, 2022)

Building an Extensible Textual Framework for the Rodin Platform. - Thai Son Hoang; Colin F. Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael J. Butler (SEFM Workshops, 2022)

Developing the UML-B Modelling Tools. - Colin F. Snook; Michael J. Butler; Thai Son Hoang; Asieh Salehi Fathabadi; Dana Dghaym (SEFM Workshops, 2022)

Formal verification and validation of run-to-completion style state charts using Event-B. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (Innov. Syst. Softw. Eng., 2022)

Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. - Karla Vanessa Morris Wright; Thai Son Hoang; Colin F. Snook; Michael J. Butler (ICTAC, 2023)

Designing Critical Systems Using Hierarchical STPA and Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael J. Butler (ABZ, 2023)

Semantics Formalisation - Modelling and Proving Strategies Using Event-B Versus Theories. - Thai Son Hoang; Colin F. Snook; Karla Vanessa Morris Wright; Laurent Voisin; Michael J. Butler (The Application of Formal Methods, 2024)

Designing Exception Handling Using Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Robert Thorburn; Michael J. Butler; Leonardo Aniello; Vladimiro Sassone (ABZ, 2024)

Semantics Formalisation - From Event-B Contexts to Theories. - Thai Son Hoang; Laurent Voisin; Karla Vanessa Morris Wright; Colin F. Snook; Michael J. Butler (ABZ, 2024)

Analysing the Safety Implications of Security Risks in Cyber-Physical Systems. - Colin F. Snook; Thai Son Hoang; Asieh Salehi Fathabadi; Michael J. Butler; Martin Kubisch (The Practice of Formal Methods (II), 2024)

Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis. - Colin F. Snook; Asieh Salehi Fathabadi; Thai Son Hoang; Robert Thorburn; Michael J. Butler; Leonardo Aniello; Vladimiro Sassone (ABZ, 2025)

Systematic hierarchical analysis of requirements for critical systems. - Asieh Salehi Fathabadi; Colin F. Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael J. Butler (Innov. Syst. Softw. Eng., 2025)