Effinger, R.; Williams, B.; Kelly, G.; Sheehy, M. Dynamic Controllability of Temporally-Flexible Reactive Programs. ICAPS 2009, 19, 122-129.