A coordinated reachability analysis method for modular verification of asynchronous designs | IEEE Conference Publication | IEEE Xplore