A fast Esterel-to-C compiler developed at Synopsys:

• Compiling Esterel into Sequential Code.
  Stephen Edwards, Synopsys, Mountain View, CA, USA.
  In Proceedings of the 37th Design Automation Conference (DAC’2000),
  Los Angeles, California, June 5-9, 2000. pp. 322-327
  http://www.dac.com/37proceedings/19_2.pdf

Avionics systems developed at Dassault Aviation:

• Esterel: a formal method applied to avionic software development.
  Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone. Science of Computer Programming, 36(2000) 5-25. Published paper, no link available.

The use of Esterel in a real large design of a DSP at Texas Instruments:

• Using Esterel and Formal Methods to Increase the Confidence in the Functional Validation of a Commercial DSP
  [ Compressed PostScript ] [ PostScript ] [ PDF ]
  Laurent Arditi et al., Texas Instrument, Villeneuve Loubet, France
  Amar Bouali et al., CMA/INRIA Sophia-Antipolis, France
  In proceedings of ERCIM workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, 1999..

Using optimal HW/SW partitioning and early system validation:

• Using HW/SW modeling to optimize embedded control systems.
  [PDF]
  Yves Mathys, Andre Chatelain. In Proceedings of the FDL Conference, 1999.

Using Esterel for safe telecommunication software:

• Safety property verification of Esterel programs and applications to telecommunications software.
  Lalita Jategaonkar Jagadeesan, Carlos Puchol, and James E. Von Olnhausen. In Proceedings of the Seventh Conference on Computer-Aided Verification, July 1995.

Terminal control protocol from AT&T Bell Labs:

• Terminal Call Processing in Esterel
  G. Murakami, Ravi Sethi. Proc. IFIP 92 World Computer Congress, Madrid, Spain, 1992.

• A formal approach to reactive systems software: A telecommunications application in Esterel.
  Lalita Jategaonkar Jagadeesan, Carlos Puchol, and James E. Von Olnhausen. In Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, April 1995.

Controling mobile communication architectures:

• An experiment in using Esterel Studio for modeling the control of mobile communication architectures.
  [PDF]
  H.Boufaied, A.Cavanie, B.Dion, S.Dissoubray, L.Arditi, G.Clave, C.Andre.
  In proceedings of the SAME congress at Sophia Antipolis, October 1999.