An Embedded Operating System Design for the Lunar Exploration Rover | IEEE Conference Publication | IEEE Xplore