Existe algum documento publicado sobre o software de planejamento automatizado usado na missão da ESA Rosetta?

A sonda Rosetta alcançou um cometa em agosto de 2014 e enviou uma sonda à superfície. Foi uma das maiores notícias científicas do ano. As técnicas automatizadas de planejamento e agendamento são realmente importantes nas operações desse tipo de missão. No último ICAPS, houve até uma palestra...