<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5229</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>What use are Formal Analysis and Design Methods to Telecommunications Services?</TITLE><PLACE_PUBLISHED>Feature Interactions in Telecommunications and Software Systems V, K. Kimbler and L.G. Bouma, (eds.) </PLACE_PUBLISHED><PUBLISHER>IOS Press</PUBLISHER><PAGES>10-31</PAGES><LABEL>Calder:1998:5229</LABEL><ABSTRACT> </ABSTRACT><NOTES>Invited Paper</NOTES></RECORD></RECORDS></XML>