Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. - Mouaiad Alras; Paul Caspi; Alain Girault; Pascal Raymond (ICESS, 2009)