Michael J. Liebelt, Cheng-Chew Lim. A method for determining whether asynchronous circuits are self-checking. In 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan. pages 472-477, IEEE Computer Society, 2000. [doi]
Abstract is missing.