A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. - Hao Zheng 001; Jared Ahrens; Tian Xia (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)