Rodriguez-Moreno, M. D., D. Borrajo, and D. Meziat. “An AI Planning-Based Tool for Scheduling Satellite Nominal Operations”. AI Magazine, vol. 25, no. 4, Dec. 2004, p. 9, doi:10.1609/aimag.v25i4.1782.