C. Bellettini, M. Felder, and M. Pezzè. Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on, page 110--119. IEEE Computer Society, (December 1993)
C. Bellettini, and L. Capra. Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings. The IEEE Computer Society's 12th Annual International Symposium on, page 560-568. IEEE Computer Society, (October 2004)
L. Capra, and C. Bellettini. SYNASC, International Symposium on Symbolic for Scientific Computation, Numeric Algorithms, page 345--353. Timişoara, Ed. Mirton, (2004)
C. Bellettini, L. Capra, and M. Monga. Electronic Notes in Theoretical Computer Science, 128 (4):
59 - 77(2005)Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling (PASM 2004) Practical Applications of Stochastic Modelling 2004.