D. C. Schmidt, Model-Driven Engineering, 2006.

T. Mathworks, Simulink® -Simulation and Model-Based Design

T. Mathworks, Stateflow® -Design and simulate state machines and control logic

, Scicos: Scilab's block diagram modeler/simulator

G. Berry, Esterel v7: From verified formal specification to efficient industrial designs, Proceedings of the FASE'05 conference, 2005.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Place, Lustre: a Declarative Language for Programming Synchronous Systems, Proc. ACM Symp. on Princ. of Prog. Langs, 1987.

L. Guernic, P. Benveniste, A. Bournai, P. Gautier, and T. , SIGNAL -A Data Flow-Oriented Language for Signal Processing, IEEE Transactions On Acoustics, Speech, And Signal Processing, vol.34, issue.2, pp.362-374, 1986.
URL : https://hal.archives-ouvertes.fr/inria-00076178

M. Pouzet, Lucid-Synchrone
URL : https://hal.archives-ouvertes.fr/hal-01574461

E. Technologies, Esterel

E. Technologies, SCADE Suite

. Tni-software, RT Builder Product Overview

N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, and F. Maraninchi, Defining and Translating a "Safe" Subset of Simulink/Stateflow into Lustre, Proceedings of the 4th ACM international conference on Embedded software, pp.259-268, 2004.

&. Topcased-toolkit, OPen source for Critical Applications & SystEms Development

P. Caspi and M. Pouzet, Synchronous Kahn networks, ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming, pp.226-238, 1996.

D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.

N. Izerrouken, X. Thirioux, M. Pantel, and M. Strecker, Certifying an Automated Code Generator using formal tools: Preliminary experiments in the GeneAuto project, Proceedings of the ERTS'08 conference, 2008.
URL : https://hal.archives-ouvertes.fr/hal-02270296

E. Technologies, Simulink Users Connect with Esterel's SCADE Suite for Safe Embedded Software

T. Mathworks, Real-Time Workshop®

, Model Driven Engineering opensource platform for Real-Time & Embedded systems, The Coq

C. André, SyncCharts: a Visual Representation of Reactive Behaviors, 1996.

C. Brunette, J. Talpin, L. Besnard, and T. Gauthier, Modeling multi-clocked data-flow programs using the Generic Modeling Environment, Synchronous Languages, Applications, and Programming (SLAP'06), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00541310

J. Colaço, H. Hamon, and M. Pouzet, Mixing Signals and Modes in Synchronous Data-flow Systems, ACM International Conference on Embedded Software (EMSOFT'06), 2006.

, MDE: model-driven engineering ACG: automatic code generator