A simple Stuck-at-faults Detection Method in Digital Combinational Circuits. II - B. Y. Rytsar (Control Systems and Computers, 2024)