Fault detection and exclusion using solution separation and chi-squared ARAIM | IEEE Journals & Magazine | IEEE Xplore