<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7289</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR><AUTHOR>Kolberg,M.</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>Engineering Telecommunication Services with SDL</TITLE><PLACE_PUBLISHED>Proceedings of Conference on Formal Methods for Open Object-Based Distributed Systems, Florence, Italy </PLACE_PUBLISHED><PUBLISHER>IFIP</PUBLISHER><PAGES>187-204</PAGES><LABEL>Sinnott:1999:7289</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>