Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes. - Fawad Ali Mangi; Guoxin Su; Minjie Zhang (Future Internet, 2023)