<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7301</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>Real-Time Systems Development with SDL and Next Generation Validation Tools</TITLE><PLACE_PUBLISHED>Proceedings of Real Time and Embedded Systems Workshop, 3-6 December 2001, London, England. </PLACE_PUBLISHED><PUBLISHER>IEEE Computer Society Press</PUBLISHER><LABEL>Sinnott:2001:7301</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>