From Models to Code: Automatic Development Process for Embedded Control System | IEEE Conference Publication | IEEE Xplore