PIL: A Tool for Pre-implementation of LOTOS. - J. Queiroz; Ahmed Serhrouchni; P. Cunha; Elie Najm (FORTE, 1990)