Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna Methods, Models and Tools for Fault Tolerance - Germany Springer 2009 ISBN: 978-3-642-00867-2 Subjects--Topical Terms: Computer ScienceMethods, Models and Tools for Fault Tolerance