Nonparametric predictive inference for reliability of a k-out-of-m: G system with multiple component types.