An Automatic Software Behavior Model Generation Method for Industrial Cyber-Physical System