@techreport{delaval:inria-00000867, TITLE = {{A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis}}, AUTHOR = {Delaval, Gwena{\"e}l and Rutten, {\'E}ric}, URL = {https://inria.hal.science/inria-00000867}, TYPE = {Research Report}, NUMBER = {RR-5690}, PAGES = {44}, INSTITUTION = {{INRIA}}, YEAR = {2005}, MONTH = Oct, KEYWORDS = {Real-time systems ; safe design ; domain-specific language ; discrete control synthesis ; synchronous programming}, PDF = {https://inria.hal.science/inria-00000867/file/RR-5690.pdf}, HAL_ID = {inria-00000867}, HAL_VERSION = {v1}, }