Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun: Model driven design of heterogeneous synchronous embedded systems. ASE 2016: 774-779