Water Level Retrieval Using a posteriori Residual of GNSS Pseudorange and Carrier-Phase Observations | IEEE Journals & Magazine | IEEE Xplore