Process Mining as Catalyst of Digital Twins for Production Systems: Challenges and Research Opportunities | IEEE Conference Publication | IEEE Xplore