Carrier Tracking using Extended Kalman Filters for GNSS Synthetic Aperture Processing with a Rotating Antenna | Publicación