Efficient computation of logic circuits reliability based on Probabilistic Transfer Matrix | IEEE Conference Publication | IEEE Xplore