A new methodology for business process auditing | Synapse