An example of performance evaluation by using the stochastic process algebra: ROSA | Publicación