Lucid Synchrone, un langage de programmation des systèmes réactifs, in “Systèmes Temps-réel : Techniques de Description et de Vérification - Théorie et Outils (2006)

by P Caspi, G Hamon, M Pouzet
Venue:217–260, Hermes International Publishing