Dependable computing for critical applications 6 - Dal Cin, Mario 1940-; Meadows, Catherine; Sanders, William Huston 1949- (Dependable computing and fault-tolerant systems ;, 1998)