Effinger, R., B. Williams, G. Kelly, and M. Sheehy. “Dynamic Controllability of Temporally-Flexible Reactive Programs”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 19, no. 1, Oct. 2009, pp. 122-9, doi:10.1609/icaps.v19i1.13372.