Control Synthesis for Semi-Markovian Switching Systems - Qi, Wenhai. (Springer, 2023)