One algorithm for time-domain analysis of semi-Markov processes | IEEE Conference Publication | IEEE Xplore