Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values. - Radoslaw Klimek; Jakub Blazowski (CoRR, 2025)