A Satellite Safety Logic Control System and its Safety State Precise Transition Control Method | IEEE Conference Publication | IEEE Xplore