E. Bareiša, V. Jusas, K. Motiejūnas, and R. Šeinauskas, “Functional Test Generation Procedures”, ELEKTRON ELEKTROTECH, vol. 72, no. 8, pp. 43-48, Oct. 2006.