Mining Batch Activation Rules from Event Logs · Study