Dynamic Assurance Cases: A Pathway to Trusted Autonomy. - Erfan Asaadi; Ewen Denney; Jonathan Menzies; Ganesh J. Pai; Dimo Petroff (Computer, 2020)

Guided Integration of Formal Verification in Assurance Cases. - Irfan Sljivo; Ewen Denney; Jonathan Menzies (ICFEM, 2023)