Sogomonjan, E. S., & Goessel, M.(1992). Self-testing and self-checking combinational circuits with weakly independent outputs (MPI-I-92-601). Saarbrücken: Max-Planck-Institut für Informatik.