この資料をSMS送信: Synthesising Optimal Timing Delays for Timed I/O Automata