WAAS measurement processing; current design and potential improvements | IEEE Conference Publication | IEEE Xplore