@conference {DBLP:conf/tapsoft/GiannottiL93, title = {Gate Splitting in LOTOS Specifications Using Abstract Interpretation}, booktitle = {TAPSOFT}, year = {1993}, pages = {437-452}, author = {Fosca Giannotti and Diego Latella} }