Simplifying semi-Markov fault recovery models | IEEE Conference Publication | IEEE Xplore