Designing spacecraft TT&C simulation system based on HLA | IEEE Conference Publication | IEEE Xplore