Bernardo, Marco and De Nicola, Rocco and Loreti, Michele  Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi.  Electronic Proceedings in Theoretical Computer Science, 60.  pp. 66-75.  ISSN 2075-2180      (2011)