@article{Zheng07,
 author = {Hao Zheng and Jared Ahrens and Tian Xia},
 title = {A compositional method with failure-preserving abstractions for asynchronous design verification},
 Journal = {IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems},
 volume = 27,
 page = {1343--1347},
 year = 2008
}