Automatic Test Pattern Generation for Asynchronous Networks. - Brian J. Heard; Ramu N. Sheshadri; Ronald B. David; Arvid G. Sammuli (ITC, 1984)