" Dependable Computing for Critical Applications 2 " edited by John F. Meyer, Richard D. Schlichting.