Z. Nagy and J. Sziray, “THE USE OF A FUNCTIONAL DESCRIPTION LANGUAGE FOR TEST GENERATION ”, Period. Polytech. Elec. Eng., vol. 35, no. 4, pp. 263–272, Jan. 1991.