An Automatic Software Behavior Model Generation Method for Industrial Cyber-Physical System | IEEE Conference Publication | IEEE Xplore