M. D. Rodriguez-Moreno, D. Borrajo, and D. Meziat, “An AI Planning-based Tool for Scheduling Satellite Nominal Operations”, AIMag, vol. 25, no. 4, p. 9, Dec. 2004.