Deakstadieđáhus: Analysis and design of algorithm-based fault-tolerant systems / by V.S. Sukumaran Nair.