Holger Hermanns Ulrich Herzog Vassilis Mertsiotakis Stochastic Process Algebras - Between LOTOS and Markov Chains. 901-924 1998 30 Computer Networks 9-10 db/journals/cn/cn30.html#HermannsHM98 http://dx.doi.org/10.1016/S0169-7552(97)00133-5