@inproceedings{delaval:inria-00629104, TITLE = {{Int{\'e}gration de la synth{\`e}se de contr{\^o}leurs discrets dans un langage de programmation}}, AUTHOR = {Delaval, Gwena{\"e}l and Rutten, Eric and Marchand, Herv{\'e}}, URL = {https://inria.hal.science/inria-00629104}, BOOKTITLE = {{Mod{\'e}lisation des Syst{\`e}mes R{\'e}actifs (MSR'11)}}, ADDRESS = {Lille, France}, YEAR = {2011}, MONTH = Nov, PDF = {https://inria.hal.science/inria-00629104/file/msr11.pdf}, HAL_ID = {inria-00629104}, HAL_VERSION = {v1}, }