Ubar, R. and Kuchinski, K. 1992. ALGORITHMS OF FUNCTIONAL LEVEL TESTABILITY ANALYSIS FOR DIGITAL CIRCUITS. Periodica Polytechnica Electrical Engineering. 36, 3-4 (Jan. 1992), 295–308.