Technical Report of Computer Science, Swansea University CSR-2-2009 PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems Gregynog Conference Centre Editors: Liam O’Reilly and Markus Roggenbach AVoCS 2009 Home Page: http://www.cs.swansea.ac.uk/avocs09/