Reliability evaluation of fault-tolerant computers for aerospace applications