Zaid Al-bayati, Otmane Aït Mohamed, Yvon Savaria, Mounir Boukadoum. Probabilistic model checking of clock domain crossing interfaces. In 10th IEEE International NEWCAS Conference, Montreal, QC, Canada, June 17-20, 2012. pages 193-196, IEEE, 2012. [doi]
Abstract is missing.