Petri-Markov model of interruptions | IEEE Conference Publication | IEEE Xplore