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