LOTOS extended with probabilistic behaviours | Publicación