Mining Timing Constraints from Event Logs for Process Model | IEEE Conference Publication | IEEE Xplore