Optimal Walker Constellation Design of LEO-Based Global Navigation and Augmentation System | Synapse