Semi-automated Time-Granularity Detection for Data-Driven Simulation Using Process Mining and System Dynamics · Study