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)

Implementation and design of PVD: An interactive protocol specification and validation environment. - K. C. Huang; W. S. Hsieh; C. S. Lu; M. S. Yang; T. S. Nain; Ihnen Lin (Microprocessing and Microprogramming, 1991)