Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems