%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