Nonlinear Tracking-Differentiator for Velocity Determination Using Carrier Phase Measurements | IEEE Journals & Magazine | IEEE Xplore