@inproceedings{delaval:inria-00000865, TITLE = {{A domain-specific language for task handlers generation, applying discrete controller synthesis}}, AUTHOR = {Delaval, Gwena{\"e}l and Rutten, {\'E}ric}, URL = {https://inria.hal.science/inria-00000865}, BOOKTITLE = {{ACM Symposium on Applied Computing}}, ADDRESS = {Dijon/France}, YEAR = {2006}, MONTH = Apr, KEYWORDS = {Real-time systems ; safe design ; domain-specific language ; discrete control synthesis ; synchronous programming}, PDF = {https://inria.hal.science/inria-00000865/file/article-nemo.pdf}, HAL_ID = {inria-00000865}, HAL_VERSION = {v1}, }