Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond. Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. In Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha, editors, International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. pages 3-10, IEEE, 2009. [doi]
Abstract is missing.