Orion-Emerald: carrier differential GPS for LEO formation flying | IEEE Conference Publication | IEEE Xplore