The Synchronous Language Lustre
Almost 30 years ago, the ``synchronous’’ team of the Verimag laboratory proposed the formally-defined synchronous language Lustre, for the development of critical control software. In 1993, Lustre was transferred successfully to industry. It is now the core of the industrial tool SCADE provided by Esterel Technologies. SCADE is used by Airbus, Schneider Electric, and Airbus Helicopter, among others. See the Lustre and SCADE history on the Esterel Technologies website, and this Wikipedia page).
In 2004, Paul Caspi and Nicolas Halbwachs received the Monpetit price from the French Academy of Sciences, for their work on synchronous languages.