Paul Chinneck David Pumfrey John McDermid The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. 33-41 2004 conf/scs/2004 SCS http://crpit.com/confpapers/CRPITV47Chinneck.pdf db/conf/scs/scs2004.html#ChinneckPM04