Adaptive interference mitigation in GNSS. ([2018])