Automatic functional test generation using the extended finite state machine model - Cheng, Kwang Ting; Krishnakumar, A. S. (DAC 93: 30th ACM-IEEE Design Automation, 1993)