An HLA Based Design of Collision Simulation System for Large-Scale LEO Objects | IEEE Conference Publication | IEEE Xplore