Iacobelli, Giulio and Tribastone, Mirco and Vandin, Andrea  Differential Bisimulation for a Markovian Process Algebra.   In:  Mathematical Foundations of Computer Science 2015. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I.   Lecture Notes in Computer Science  (9234).  Springer, pp. 293-306.  ISBN 978-3-662-48056-4      (2015)