<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6775</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>2002</YEAR><TITLE>Feature Interaction Detection by Pairwise Analysis of LTL Properties</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><ISBN>TR-2002-116</ISBN><LABEL>Calder:2002:6775</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>