Array-based GNSS signal tracking with a reduced state signal model | IEEE Journals & Magazine | IEEE Xplore