A Case Study on Controller Synthesis for Data-Intensive Embedded Systems | IEEE Conference Publication | IEEE Xplore