<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5603</REFNUM><AUTHORS><AUTHOR>Thomas,M.</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Formal Methods and their Role in Developing Safe Systems</TITLE><PLACE_PUBLISHED>High Integrity Systems Journal, vol. 1, no. 5 </PLACE_PUBLISHED><PUBLISHER>Oxford University Press</PUBLISHER><PAGES>447-452</PAGES><LABEL>Thomas:1996:5603</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>