Process Mining of Event Logs in Auditing: Opportunities and Challenges · Study