Fast LAMBDA-based ambiguity resolution combined with WARTK technique for Galileo data simulated using ESA's Galileo Signal Validation Facility - Odijk, Dennis; de Bakker, P.; Verhagen, S.; Teunissen, Peter; Hernandez-Pajares, M.; Samson, J. (Menay P/L, 2009)