<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5759</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>Using SPIN for Feature Interaction Analysis -- a Case Study</TITLE><PLACE_PUBLISHED> Proceedings of the 8th International SPIN Workshop (SPIN 2001), Toronto, Canada. Lecture Notes in Computer Science, vol 2057 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>143-162</PAGES><LABEL>Calder:2001:5759</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>