в общем я че т покурил и мне кажется, что проблема в терминологии: tMET (tr) - это просто некоторое время, в которое мы хотим наблюдать; Вероятность, что после фронта тактового сигнала спустя время tMET система будет в метастабильности выражается через exp(-tMET/tao), собсно, чем больше tMET, тем меньше вероятность что мы все еще в метастабильности, ну и это потом идет в уравнение MTBF