David John Pumfrey

The principled design of computer system safety analyses

David John Pumfrey, D. Pumfrey, 1999 .

The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation

John McDermid, David John Pumfrey, Paul Chinneck, 2004, SCS.