<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>5401</REFNUM><AUTHORS><AUTHOR>Johnson,C.W.</AUTHOR></AUTHORS><YEAR>1997</YEAR><TITLE>Proving Properties of Accidents</TITLE><PLACE_PUBLISHED>4th NASA Langley Formal Methods Workshop </PLACE_PUBLISHED><PUBLISHER>NASA Langley Research Centre</PUBLISHER><PAGES>21-34</PAGES><LABEL>Johnson:1997:5401</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>