distributed, heterogeneous, embedded systems Formal semantics of modeling languages