Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty