Dependable computing for critical applications 5 - Iyer, Ravishankar K. (Dependable computing and fault - tolerant systems, 1998)