Conformance checking of processes based on monitoring real behavior