<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5383</REFNUM><AUTHORS><AUTHOR>Johnson,C.W.</AUTHOR><AUTHOR>Gray,P.D.</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Techniques To Support Error-Driven Design</TITLE><PLACE_PUBLISHED>Proceedings of the Design, Specification and Verification of Interactive Systems '96 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>207-229</PAGES><LABEL>Johnson:1996:5383</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>