Ubar, Raimund, and Ktzysztof Kuchinski. 1992. “ALGORITHMS OF FUNCTIONAL LEVEL TESTABILITY ANALYSIS FOR DIGITAL CIRCUITS”. Periodica Polytechnica Electrical Engineering 36 (3-4):295-308.