Synchronization-Based Abstraction Refinement for Modular Verification of Asynchronous Designs | IEEE Conference Publication | IEEE Xplore