Methods, Models and Tools for Fault Tolerance - Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna ((Lecture Notes in Computer Science))