Lustre -> http://en.wikipedia.org/wiki/Lustre_(programming_language) Esterel -> http://en.wikipedia.org/wiki/Esterel Zelus -> http://www.di.ens.fr/~pouzet/bib/hscc13.pdf SCADE -> http://www.esterel-technologies.com/products/scade-suite/ Modelica -> http://en.wikipedia.org/wiki/Modelica ReactiveML -> http://rml.lri.fr/