@inproceedings{gamatie:hal-00838928, TITLE = {{A Case Study on Controller Synthesis for Data-Intensive Embedded Systems}}, AUTHOR = {Gamati{\'e}, Abdoulaye and Yu, Huafeng and Delaval, Gwena{\"e}l and Rutten, {\'E}ric}, URL = {https://inria.hal.science/hal-00838928}, BOOKTITLE = {{International Conference on Embedded Software and Systems (ICESS)}}, ADDRESS = {Hangzhou, China}, PAGES = {75-82}, YEAR = {2009}, MONTH = May, DOI = {10.1109/ICESS.2009.12}, HAL_ID = {hal-00838928}, HAL_VERSION = {v1}, }