A Case Study on the Application of Process Mining in Combination with Journal Entry Tests for Financial Auditing.