Workshop on Methods, Models and Tools for Fault Tolerance Proceedings July 3, 2007 Oxford Michael Butler, Southampton University, UK Cliff Jones, Newcastle University, UK Alexander Romanovsky, Newcastle University, UK Elena Troubitsyna, Aabo Akademi, Finland FP6 IST RODIN (Rigorous Open Development Environment for Complex Systems) http://rodin.cs.ncl.ac.uk/