89	  Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena  (2009) Methods, Models and Tools for Fault Tolerance.    LNCS, 5454 .  Springer.