R. Effinger, B. Williams, G. Kelly, and M. Sheehy, “Dynamic Controllability of Temporally-flexible Reactive Programs”, ICAPS, vol. 19, no. 1, pp. 122-129, Oct. 2009.