Title: Control Synthesis for Semi-Markovian Switching Systems