Source: https://www.gps.gov/technical/icwg/IS-GPS-200D.pdf