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