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.