Diagnosability and diagnosis of algorithm-based fault-tolerant systems | IEEE Journals & Magazine | IEEE Xplore