F.  Giannotti and Latella, D., ?Gate Splitting in LOTOS Specifications Using Abstract Interpretation?, Sci. Comput. Program., vol. 23, pp. 127-149, 1994.