A Note on the Mixture Representation of the Conditional Residual Lifetime of a Coherent System. - Xiuying Feng; Shuhong Zhang; Xiaohu Li (J. Appl. Probab., 2013)