Mars Express
Proximity-1 is implemented on Mars Exploration Rovers, Mars Odyssey, Mars Reconnaissance Orbiter, Mars Express as well as on Phoenix Mars Lander.