Explainable conformance checking: Understanding patterns of anomalous behavior · Study