Global Navigation Satellite Systems (GNSS), such as GPS, have become an efficient, reliable and standard tool for a wide range of applications. However, when processing GNSS data, the stochastic model characterising the precision of observations and the correlations between them is usually simplifie...