Michael Butler Cliff B. Jones Alexander Romanovsky Elena Troubitsyna Methods, Models and Tools for Fault Tolerance 5454 2009 http://dx.doi.org/10.1007/978-3-642-00867-2 978-3-642-00866-5 Lecture Notes in Computer Science Springer db/series/lncs/lncs5454.html