Libra: High-Utility Anonymization of Event Logs for Process Mining via Subsampling | IEEE Conference Publication | IEEE Xplore