Dependable Computing for Critical Applications 6 (Dependable Computing and Fault-Tolerant Systems Vol 11)