Sequential Anomaly Detection Techniques in Business Processes · Study