A Design Approach for a GPS User Segment for Aerospace Vehicles | IEEE Conference Publication | IEEE Xplore