Control Synthesis for Semi-Markovian Switching Systems