Detecting and Resolving Process Model Differences in the Absence of a Change Log · Study