Title: Metric semantics for reactive probabilistic processes
First published: 1997