<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>9241</REFNUM><AUTHORS><AUTHOR>Miller,A.</AUTHOR><AUTHOR>Calder,M.</AUTHOR></AUTHORS><YEAR>2009</YEAR><TITLE>Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems</TITLE><PLACE_PUBLISHED>Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS'08). Electronic Notes in Computer Science vol 250(2)</PLACE_PUBLISHED><PUBLISHER>Elsevier Science</PUBLISHER><PAGES>1-2</PAGES><LABEL>Miller:2009:9241</LABEL><ABSTRACT>Preface to the Proceedings, edited by Miller and Calder.</ABSTRACT></RECORD></RECORDS></XML>