De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke  MarCaSPiS: a Markovian Extension of a Calculus for Services.  Electronic Notes in Theoretical Computer Science, 229 (4).  pp. 11-26.  ISSN 1571-0661      (2009)