E. S. Simulation-tool-for-heterogeneous, Semantics of heterogeneity Catalogue of predefined MoCCs Programmable MoCCs Modeling discrete/continuous systems focuses on discrete ones Fractal Language independent component-based approach Similar Dedicated to design and deployment Virtual Prototyping Does not deal with MoCCs Central notion Formal Models for Embedded Systems Formal Verification =? Reduced expressiveness Favor expressiveness Describing MoCCs and Heterogeneity with TAG machines Operational description of MoCCs Bouhadiba -Ph, p.45, 201041.