Fundamentals of dependable computing for software engineers - Knight, John (New York, 2012)
Keywords: New York