<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6488</REFNUM><AUTHORS><AUTHOR>Reiff,S.</AUTHOR><AUTHOR>Calder,M.</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>Modelling a Telephone Switching System for Verification</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><ISBN>TR-1999-38</ISBN><LABEL>Reiff:1999:6488</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>