Wide-Area GPS Time Monitoring Against Spoofing Using Belief Propagation | IEEE Conference Publication | IEEE Xplore