Abstract
A numerically stable method is developed which computes seemingly tight bounds at a small computational cost relative to the model size, when that model size is large, for the unreliability and bounds for the unreliability using, respectively, exact and bounding failure/repair continuous-time Markov chain models of fault-tolerant systems with exponential failure and repair time distributions, in which repair is deferred until some condition on the collection of failed components is satisfied, and, then, proceeds until reaching the state without failed components, with failure rates much smaller than repair rates and not too different output rates from states with deferred repair.