Self-checking and fault-tolerant digital design - Lala, Parag K., 1948- (Morgan Kaufmann, 2001)