The design and analysis of AVTMR (all voting triple modular redundancy) and dual-duplex system. - Hyunki Kim; Hyeuntae Lee; Keyseo Lee (Reliab. Eng. Syst. Saf., 2005)