Rajan, Kanna Muscettola, Nicola Chien, Steve Automated Planning and Scheduling for Goal-Based Autonomous Spacecraft. - 50-55 p.