WAAS Avionics Receiver Design Characteristics