Neural network realization of Markov model of TMR systems with compensating failures | IEEE Conference Publication | IEEE Xplore