Jafari, A.; Khamespanah, E.; Sirjani, M.; Hermanns, H. Performance Analysis of Distributed and Asynchronous Systems Using Probabilistic Timed Actors. eceasst 2014, 70.