Simulation of semi-Markov processes and Markov chains ordered in level crossing | IEEE Conference Publication | IEEE Xplore