Bernardo, Marco and De Nicola, Rocco and Loreti, Michele  Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.  Acta Informatica, 52 (1).  pp. 61-106.  ISSN 0001-5903      (2015)