The ACM Computing Classification System (1991) D.4.5 Reliability Backup procedures Checkpoint/restart Fault-tolerance Verification