Dependable Computing for Critical Applications 7 | IEEE Conference Publication | IEEE Xplore