Self-Checking and Fault-Tolerant Digital Design by Parag Lala & Parag K. Lala