Distributed operations for the Mars Exploration Rover Mission with the science activity planner | IEEE Conference Publication | IEEE Xplore