1. Lecture Notes in Computer Science;X. Nicollin,1992
2. Hermanns, H., Mertsiotakis, V., Rettelbach, M.: Performance analysis of distributed systems using TIPP. In: Proc. UKPEW 1994, pp. 131–144 (1994)
3. Bravetti, M., Bernardo, M., Gorrieri, R.: From EMPA to GSMPA: Allowing for general distributions. In: Proc. PAPM 1997, pp. 17–33 (1997)
4. D’Argenio, P., Katoen, J.P.: A theory of stochastic systems, part II: Process algebra. Information and Computation 203(1), 39–74 (2005)
5. Bravetti, M.: Specification and Analysis of Stochastic Real-time Systems. PhD thesis, Universitá di Bologna (2002)