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