GNSS fault detection with unmodeled error. (3rd August 2017)