Julien Bertrane: Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. VMCAI 2005: 97-112