@conference {DBLP:conf/sas/GiannottiL92, title = {Using Abstract Interpretation for Gate splitting in LOTOS Specifications}, booktitle = {WSA}, year = {1992}, pages = {194-204}, author = {Fosca Giannotti and Diego Latella} }