This paper deals with the GPS-based relative navigation of LEO formations. Specifically, we consider applications characterized by two co-flying satellites with a large and highly variable separation, which are relevant to next generation monostatic/bistatic Synthetic Aperture Radar missions. In these applications, both scientific goals and control needs require the determination of the relative state with high accuracy. To this end, an Extended Kalman Filter is developed that processes double-difference pseudorange and carrier phase measurements on L1 and L2 frequencies. To preserve accuracy and robustness of the integer solution problem against large variations of the baseline, an original approach is developed in which, for each receiver...