Dependable computing systems : (John Wiley, 2005)