GNSS carrier tracking loop : Stability analysis and some improvements | IEEE Conference Publication | IEEE Xplore