A. Arnold, A. Griffault, G. Point, and A. Rauzy, The AltaRica formalism for describing concurrent systems, Fundam. Inf, vol.40, issue.2-3, pp.109-124, 1999.

N. Halbwachs, Synchronous programming of reactive systems, Kluwer Academic Pub, 1993.

N. Halbwachs, A Synchronous Language at Work: The Story of Lustre, Third ACM-IEEE International Conference on Formal Methods and Models for Codesign, 2005.
DOI : 10.1002/9781118459898.ch2
URL : https://hal.archives-ouvertes.fr/hal-00190883

G. Point, AltaRica: Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement, 2000.

G. Point and A. Rauzy, AltaRica -Constraint automata as a description language, European Journal on Automation, 1999.