Complex system reliability : Multichannel Systems with Imperfect Fault Coverage (2010)