https://9lib.org/document/zlgjmxoy-integrity-monitoring-based-ratio-gnss-integer-ambiguity-validation.html