Automated planning and scheduling for goal-based autonomous spacecraft | IEEE Journals & Magazine | IEEE Xplore