Controller Synthesis for Timeline-based Games