Privacy-Preserving Outsourcing of Pattern Mining of Event-Log Data - A Use-Case from Process Industry | IEEE Conference Publication | IEEE Xplore