Fundamentals of dependable computing for software engineers - Knight, John 1947- (CRC Press, 2012)