Wenxin Chen, Yingfei Dong, Zhenhai Duan: Impacts of a Single GPS Spoofer on Multiple Receivers: Formal Analysis and Experimental Evaluation. CCNC 2024: 127-134