Salomon Beer, Ran Ginosar, Rostislav (Reuven) Dobkin, Yoav Weizman: MTBF Estimation in Coherent Clock Domains. ASYNC 2013: 166-173