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)