"Testability of Asynchronous Timed Control Circuits with Delay Assumptions."

Peter A. Beerel, Teresa H.-Y. Meng (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics