Fault-Tolerance Techniques for High-Performance Computing - Herault, Thomas (Springer International Publishing, 2015)