Policella, N.; Oliveira, H.; Benzi, E. Planning Spacecraft Activities: An Automated Approach. ICAPS 2013, 23, 407-415.