F.  Fiore and Giannotti, F., ?An abstract interpreter for the specification language LOTOS?, in FORTE, 1994, pp. 309-323.