@article {360, title = {Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors}, journal = {{ECEASST}}, volume = {70}, year = {2014}, url = {http://journal.ub.tu-berlin.de/eceasst/article/view/984}, author = {Ali Jafari and Ehsan Khamespanah and Marjan Sirjani and Holger Hermanns} }