Dylan A. Shell, Maja J. Mataric: Principled Synthesis for Large-Scale Systems: Task Sequencing. DARS 2006: 207-216