An executable semantics of flexible plans in terms of Timed Game Automata