Challenges in Designing an Automated System for Planning Spacecraft Activities | IEEE Conference Publication | IEEE Xplore