Reliability and performance analysis for fault-tolerant programs consisting of versions with different characteristics [An article from: Reliability Engineering and System Safety]