Testing semantics for a probabilistic-timed process algebra | Publicación