Αποστολή με SMS: Conformance Checking and Diagnosis in Process Mining