Bernardo, Marco and De Nicola, Rocco and Loreti, Michele  A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.  CSA Technical Report  #02/2012    IMT Institute for Advanced Studies Lucca