published in 22nd International Technical Meeting of the Satellite Division of the Institute of Navigation 2009, ION GNSS 2009 Journal