Return to Article Details Dynamic Controllability of Temporally-flexible Reactive Programs Download Download PDF