Probabilistic model checking of clock domain crossing interfaces | IEEE Conference Publication | IEEE Xplore