@article{delaval:hal-00863286, TITLE = {{Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler}}, AUTHOR = {Delaval, Gwena{\"e}l and Rutten, Eric and Marchand, Herv{\'e}}, URL = {https://inria.hal.science/hal-00863286}, JOURNAL = {{Discrete Event Dynamic Systems}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {23}, NUMBER = {4}, PAGES = {385-418}, YEAR = {2013}, DOI = {10.1007/s10626-013-0163-5}, PDF = {https://inria.hal.science/hal-00863286/file/jdeds.pdf}, HAL_ID = {hal-00863286}, HAL_VERSION = {v1}, }