Title: Dependable Computing for Critical Applications 2