Definition and Detection of Control-Flow Anti-patterns in Process Models | IEEE Conference Publication | IEEE Xplore