Antispoofing RAIM for dual-recursion particle filter of GNSS calculation | IEEE Journals & Magazine | IEEE Xplore