An Overview of Ground Semi-Physical Verification Technology for On-Orbit Services | IEEE Conference Publication | IEEE Xplore