Fundamentals of dependable computing for software engineers - Knight, John (New York, 2012)
Keywords: Fault-tolerant computing. Computer software--Reliability.