Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic | IEEE Conference Publication | IEEE Xplore