Methods, Models and Tools for Fault Tolerance

Michael Butler , Cliff B. Jones , Alexander Romanovsky