SGLOT: A Visual Tool for Structural LOTOS Specifications. - Mario Marrero; Álvaro Suárez Sarmiento; Elena Carrión; Elsa M. Macías (FTRTFT, 1998)