System reliability optimization with constraint k-out-of-n redundancies | IEEE Conference Publication | IEEE Xplore