<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7740</REFNUM><AUTHORS><AUTHOR>Sinnott,R.</AUTHOR></AUTHORS><YEAR>2004</YEAR><TITLE>The Formal, Tool Supported Development of Real Time Systems</TITLE><PLACE_PUBLISHED> Beijing, China </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Sinnott:2004:7740</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>