An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation | Publicación