Automatic formal verification of clock domain crossing signals. - Bing Li; Chris Ka-Kei Kwok (ASP-DAC, 2009)