Stochastic decomposition on multi-server crash in sequential revamp scheme | IEEE Conference Publication | IEEE Xplore