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