AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems - Liam O'Reilly (2009)