Galileo clock state predictions navigation accuracy dilution of precision Publication Date: April 2012