Extracting accurate performance indicators from execution logs using process models | IEEE Conference Publication | IEEE Xplore