A fast method of protocol validation using reduced stable state exploration technique. - W. S. Hsieh; T. S. Nain; M. S. Yang; C. S. Lu; K. C. Huang; J. R. Tseng (Microprocessing and Microprogramming, 1991)