Process Diagnostics: A Method Based on Process Mining | IEEE Conference Publication | IEEE Xplore