Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin: Polyhedral Analysis for Synchronous Languages. SAS 1999: 51-68