Planetary Radio Interferometry and Doppler Experiment (PRIDE) technique: A test case of the Mars Express Phobos Flyby. II. Doppler tracking: Formulation of observed and computed values, and noise budget. - Bocanegra-Bahamón, T.M. et al - published in Astronomy & Astrophysicis, 609, pp. Id. A59, 11 pages (2018) - SCART-2019-0154