Redundancy allocation for series-parallel warm-standby systems | IEEE Conference Publication | IEEE Xplore