A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements. - Matt Luckcuck; Marie Farrell; Oisín Sheridan; Rosemary Monahan (CoRR, 2021)

A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. - Oisín Sheridan; Rosemary Monahan; Matt Luckcuck (IFM, 2022)

Towards Refactoring FRETish Requirements. - Marie Farrell; Matt Luckcuck; Oisín Sheridan; Rosemary Monahan (NFM, 2022)

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. - Marie Farrell; Matt Luckcuck; Oisín Sheridan; Rosemary Monahan (REFSQ, 2022)

Why just FRET when you can Refactor? Retuning FRETISH Requirements. - Matt Luckcuck; Marie Farrell; Oisín Sheridan (CoRR, 2022)

Exploring a Methodology for Formal Verification of Safety-Critical Systems. - Oisín Sheridan (ABZ, 2023)

Adventures in FRET and Specification. - Marie Farrell; Matt Luckcuck; Rosemary Monahan; Conor Reynolds; Oisín Sheridan (ISoLA (3), 2024)

FRETting and Formal Modelling: A Mechanical Lung Ventilator. - Marie Farrell; Matt Luckcuck; Rosemary Monahan; Conor Reynolds; Oisín Sheridan (ABZ, 2024)

Refactoring in Requirements Engineering: Exploring a methodology for formal verification of safety-critical systems. - Oisín Sheridan (REFSQ Workshops, 2025)

Sharper Specs for Smarter Drones: Formalising Requirements with FRET. - Oisín Sheridan; Leandro Buss Becker; Marie Farrell; Matt Luckcuck; Rosemary Monahan (REFSQ, 2025)