An integrated framework for the performance analysis of asynchronous communicating stochastic processes | Publicación