The Associated Modeling and Precision Analysis of Spatial States and the Inter-Satellite Baseline of Formation Flying Satellites | IEEE Conference Publication | IEEE Xplore