[JKSH14] Ali Jafari, Ehsan Khamespanah, Marjan Sirjani and Holger Hermanns. Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. In Proc. 14th International Workshop on Automated Verification of Critical Systems (AVoCS'14). 2014. [Proposes an actor-based language for probabilistic timed systems, connecting to PRISM for probabilistic model checking.]
Links: [Google] [Google Scholar]