Modeling a highly reliable fault-tolerant guidance, navigation, and control system for long duration manned spacecraft | IEEE Conference Publication | IEEE Xplore