Process Mining for Digital Twin Development of Industrial Cyber-Physical Systems | IEEE Journals & Magazine | IEEE Xplore