Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining. - Roberto Casaluce; Andrea Burratin; Francesca Chiaromonte; Alberto Lluch-Lafuente; Andrea Vandin (DAMOCLES@AVI, 2024)