<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5551</REFNUM><AUTHORS><AUTHOR>Reiff,S.</AUTHOR><AUTHOR>Calder,M.</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>The Application of Model-Checking to Verification Problems in Telephone Switching Systems</TITLE><PLACE_PUBLISHED>Proceedings of the 6th Workshop on Automated Reasoning - Bridging the gap between theory and practice (Edinburgh, UK) </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>-</PAGES><LABEL>Reiff:1999:5551</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>