@conference {DBLP:conf/forte/FioreG94, title = {An abstract interpreter for the specification language LOTOS}, booktitle = {FORTE}, year = {1994}, pages = {309-323}, author = {Franco Fiore and Fosca Giannotti} }