Duan-Shin Lee: Analysis of a single server queue with semi-Markovian service interruption. Queueing Syst. Theory Appl. 27(1-2): 153-178 (1997)