Effinger, R., Williams, B., Kelly, G., & Sheehy, M. (2009). Dynamic Controllability of Temporally-flexible Reactive Programs. Proceedings of the International Conference on Automated Planning and Scheduling, 19(1), 122-129. https://doi.org/10.1609/icaps.v19i1.13372