Functional model for spacecraft formation flying using non-dedicated GPS/Galileo receivers | IEEE Conference Publication | IEEE Xplore