Online Dependable Computing For Critical Applications 3 1993