330	  Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander  (2011) Proceedings of the 11th workshop on Automated Verification of Critical Systems.    Newcastle University.