Fault Detection Experiments for Asynchronous Sequential Machines - Aaron Ashkinazy (SWAT, 1970)

Tools for validating asynchronous digital circuits. - Aaron Ashkinazy; David A. Edwards; Craig Farnsworth; Gary Gendel; Shiv S. Sikand (ASYNC, 1994)