Process Mining for Digital Twin Development of Industrial Cyber-Physical Systems · Study