ASPEN - Automating Space Mission Operations using Automated Planning and Scheduling - Chien, S; Rabideau, G; Knight, R (2005)
Accessed April 11,