F.  Giannotti and Latella, D., ?Gate Splitting in LOTOS Specifications Using Abstract Interpretation?, in TAPSOFT, 1993, pp. 437-452.