On the Design of Self-Checking Systems Under Various Fault-Models - Jean Andre Dussault (1977)