@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}
}
