Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand. The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. In 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001. pages 3284-3289, IEEE, 2001. [doi]
Abstract is missing.