Title: Fault detection in asynchronous sequential machines
Subjects: Automatic test equipment