Testing Semantics for Probabilistic LOTOS | Publicación