%0 Conference Proceedings %F MSR11 %A Delaval, Gwena\"e %A Rutten, %A Marchand, Herv %T Int{}gration de la synth{}se de contr{}leurs discrets dans un langage de programmation %B Actes du 8{}me Colloque Francophone sur la Mod{}lisation des Syst{}mes R{}actifs (MSR 2011) %P 125-140 %C Lille, France %8 November %D 2011