An Automatic Requirement Transformation Approach for Code Generation in Industrial Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore