N. Policella, H. Oliveira, and E. Benzi, “Planning Spacecraft Activities: An Automated Approach”, ICAPS, vol. 23, no. 1, pp. 407–415, Jun. 2013.