Frédéric Besson Thomas P. Jensen Jean-Pierre Talpin Polyhedral Analysis for Synchronous Languages. 51-68 1999 conf/sas/1999 SAS http://link.springer.de/link/service/series/0558/bibs/1694/16940051.htm db/conf/sas/sas99.html#BessonJT99