An Integrated System for Mixed-Initiative Planning of Manned Spaceflight Operations | IEEE Conference Publication | IEEE Xplore