PROCESS MINING OF EVENT LOGS IN INTERNAL AUDITING: A CASE STUDY · Study