Analysis of Performability for Stochastic Models of Fault-Tolerant Systems | IEEE Journals & Magazine | IEEE Xplore