Reasoning about QoS Contracts in the Probabilistic Duration Calculus | Publicación