Performance analysis of stochastic process algebra models using stochastic simulation | IEEE Conference Publication | IEEE Xplore