Markov reward approach to performability and reliability analysis | IEEE Conference Publication | IEEE Xplore