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