
Keywords: BLM, Bistable logic module; CLM, Coincidence logic module; CTMC, Continuous time Markov chain; DFTA, Dynamic FTA; DMR, Dual modular redundant; DTMC, Discrete time Markov chain; FCF, Fault coverage factor; FTA, Fault tree analysis; IEC, International Elect