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