F.  Giannotti and Latella, D., ?Using Abstract Interpretation for Gate splitting in LOTOS Specifications?, in WSA, 1992, pp. 194-204.