Invia SMS: Formal verification of selected properties of process models obtained through process mining from event logs