Is there any published paper about automated planning software used in the ESA Rosetta mission?

Question

The Rosetta spacecraft has reached a comet in August 2014 and sent a lander on its surface. It was one of the greatest science news of the year.

Automated Planning and Scheduling techniques are really important in the operations of these kinds of missions. At the last ICAPS there was even an invited talk by one of the staff members involved in the automated planning technologies used in the spacecraft.

Is there any published paper on the planning technologies used in the spacecraft? I've only found this one, but it does not appear to have been published in conferences or journals. Has it or something similar been published somewhere?