Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs