State space reductions for scalable verification of asynchronous designs | IEEE Conference Publication | IEEE Xplore