Automated planning and scheduling for planetary rover distributed operations | IEEE Conference Publication | IEEE Xplore