A Field Study on the Use of Process Mining of Event Logs as an Analytical Procedure in Auditing | Synapse