Getting back on the road: Reformatting Flash memory on-board the Mars Exploration Rover Opportunity | IEEE Conference Publication | IEEE Xplore