Duan-Shin Lee Analysis of a single server queue with semi-Markovian service interruption. 153-178 1997 27 Queueing Syst. 1-2 http://dx.doi.org/10.1023/A:1019162014745 db/journals/questa/questa27.html#Lee97