Dependable Computing for Critical Applications (Dependable Computing and Fault-Tolerant Systems) | EKB DL