Redundancy allocation for k-out-of-n: G systems with mixed spare types | IEEE Conference Publication | IEEE Xplore