<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5381</REFNUM><AUTHORS><AUTHOR>Johnson,C.W.</AUTHOR><AUTHOR>Telford,A.J.</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Using Formal Methods To Analyse Human Error And System Failure During Accident Investigations</TITLE><PLACE_PUBLISHED>Software Engineering Journal (Volume No 11) </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>355-365</PAGES><LABEL>Johnson:1996:5381</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>