Automated Code Generation for Industrial-Strength Systems | IEEE Conference Publication | IEEE Xplore