<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6170</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications Services</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><ISBN>TR-2001-91</ISBN><LABEL>Calder:2001:6170</LABEL></RECORD></RECORDS></XML>