Tight Lower Bounds on the Detection Probabilities of Single Faults at Internal Signal Lines in Combinational Circuits. - S. A. Ali; G. Robert Redinbo (IEEE Trans. Computers, 1994)