Process Mining of Sensor Data for Predictive Process Monitoring: A HACCP-Guided Pasteurization Study Case | Synapse