Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten. A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. In Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha, editors, International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. pages 75-82, IEEE, 2009. [doi]
Abstract is missing.