<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>5601</REFNUM><AUTHORS><AUTHOR>Telford,A.J.</AUTHOR><AUTHOR>Johnson,C.W.</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Extending The Application Of Formal Methods To Analyse Human Error And System Failure During Accident Investigations</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>-</PAGES><ISBN>TR-1996-6</ISBN><LABEL>Telford:1996:5601</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>