@article{delaval:hal-00784474, TITLE = {{A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis}}, AUTHOR = {Delaval, Gwena{\"e}l and Rutten, Eric}, URL = {https://inria.hal.science/hal-00784474}, JOURNAL = {{EURASIP Journal on Embedded Systems}}, PUBLISHER = {{SpringerOpen}}, VOLUME = {2007}, NUMBER = {1}, PAGES = {084192}, YEAR = {2007}, PDF = {https://inria.hal.science/hal-00784474/file/1687-3963-2007-084192.pdf}, HAL_ID = {hal-00784474}, HAL_VERSION = {v1}, }