Tool support to implement LOTOS formal specifications | Publicación