Nagy, Z., Sziray, J. “THE USE OF A FUNCTIONAL DESCRIPTION LANGUAGE FOR TEST GENERATION ”, Periodica Polytechnica Electrical Engineering, 35(4), pp. 263–272, 1991.