wide area augmentation system {=WAAS}