"Using Abstract Interpretation for Gate splitting in LOTOS Specifications."

Fosca Giannotti, Diego Latella (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics