RODRIGUEZ-MORENO, M. D.; BORRAJO, D.; MEZIAT, D. An AI Planning-based Tool for Scheduling Satellite Nominal Operations. AI Magazine, v. 25, n. 4, p. 9, 15 Dec. 2004.