An improved algorithm for protocol validation by extended circular exploration. - Jaecheol Gong; Byeong Man Kim; Hyunsoo Yoon; Heungkyu Lee; Si-Yeong Hwang (Microprocess. Microprogramming, 1993)