Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, et al.. The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design.
40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.3284 - 3289,
⟨10.1109/.2001.980328⟩.
⟨inria-00526268⟩