SGLOT: A visual tool for structural LOTOS specifications | Publicación