An example of performance evaluation by using the stochastic process algebra: ROSA | IEEE Conference Publication | IEEE Xplore