R. Ubar and K. Kuchinski, “ALGORITHMS OF FUNCTIONAL LEVEL TESTABILITY ANALYSIS FOR DIGITAL CIRCUITS”, Period. Polytech. Elec. Eng., vol. 36, no. 3-4, pp. 295–308, Jan. 1992.