Fault Detection of Binary Sequential Machines Using R-Valued Test Machines. - Donald A. Sheppard; Zvonko G. Vranesic (IEEE Trans. Computers, 1974)