Choosing Mars time: analysis of the Mars Exploration Rover experience | IEEE Conference Publication | IEEE Xplore