An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation