The GNSS integer ambiguities: estimation and validation by S. Verhagen