Title: Analysis and Design of Algorithm-Based Fault-Tolerant Systems