From control system design to embedded code: the synchronous data-flow approach | IEEE Conference Publication | IEEE Xplore