Simulation method for reliability of TT&C mission with high redundancy and small time horizon | BIAI Journals & Magazine | IEEE Xplore