A. Jafari, E. Khamespanah, M. Sirjani, and H. Hermanns, “Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors”, eceasst, vol. 70, Nov. 2014.