Static probabilistic timing analysis in presence of faults | IEEE Conference Publication | IEEE Xplore