Fault modeling and testing of self-timed circuits. - Stanford S. Guillory; Daniel G. Saab; Andrew T. Yang (VTS, 1991)