Return to Article Details Analysis of a Redundant System with Imperfect Switch