Predicting operational availability for systems with redundant, repairable components and multiple sparing levels | IEEE Conference Publication | IEEE Xplore