On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction | Publicación