Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment