Design exploration of majority voter architectures based on the signal probability for TMR strategy optimization in space applications. (November 2020)