Benyó, B. (1998) “NEW ALGORITHM FOR BEHAVIOURAL TEST GENERATION”, Periodica Polytechnica Electrical Engineering, 42(3), pp. 311–335.