<XML><RECORDS><RECORD><REFERENCE_TYPE>1</REFERENCE_TYPE><REFNUM>7281</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR><AUTHOR>Hogrefe,D.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>Finite State Machine Based SDL</TITLE><PLACE_PUBLISHED> Chapter 1, Part II of Formal Methods for Object-Oriented Distributed Systems </PLACE_PUBLISHED><PUBLISHER>Cambridge University Press</PUBLISHER><PAGES>55-76</PAGES><LABEL>Sinnott:2001:7281</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>