Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip. - Xiaohua Kong; Radu Negulescu; Larry Weidong Ying (CHARME, 2001)

Refinement-based formal verification with heterogeneous timing. - Xiaohua Kong; Radu Negulescu; Larry Weidong Ying (Int. J. Softw. Tools Technol. Transf., 2003)